[ https://issues.apache.org/jira/browse/FLINK-5831?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15875725#comment-15875725 ]
ASF GitHub Bot commented on FLINK-5831: --------------------------------------- Github user nellboy commented on the issue: https://github.com/apache/flink/pull/3369 Ok, this has been updated now. ![screen shot 2017-02-21 at 11 02 41](https://cloud.githubusercontent.com/assets/39847/23160154/b2ea3f90-f825-11e6-8f3e-5f775b8204a8.png) > 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 > Attachments: dropDown.png > > > 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)