[jira] [Created] (FLINK-5831) Sort metrics in metric selector and add search box

[Shang Yuanchun (Jira)]

Robert Metzger created FLINK-5831:
-------------------------------------

             Summary: Sort metrics in metric selector and add search box
                 Key: FLINK-5831
                 URL: https://issues.apache.org/jira/browse/FLINK-5831
             Project: Flink
          Issue Type: Improvement
          Components: Webfrontend
            Reporter: Robert Metzger


The JobManager UI makes it hard to select metrics using the drop down menu.

First of all, it would me nice to sort all entries. Also a search box on top of the drop down would make it much easier to find the metrics.



--
This message was sent by Atlassian JIRA
(v6.3.15#6346)