[
https://issues.apache.org/jira/browse/FLINK-5831?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15989857#comment-15989857
]
ASF GitHub Bot commented on FLINK-5831:
---------------------------------------
Github user greghogan commented on the issue:
https://github.com/apache/flink/pull/3369
@nellboy please rebase to master.
> 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)
