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

[ASF GitHub Bot (JIRA)]

    [ 
https://issues.apache.org/jira/browse/FLINK-5831?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15874669#comment-15874669
 ] 

ASF GitHub Bot commented on FLINK-5831:
---------------------------------------

Github user rmetzger commented on the issue:

    https://github.com/apache/flink/pull/3362
  
    Thank you for opening a PR.
    Can you provide a screenshot of the change. Also, the PR is conflicting 
with the current master, so we can not just merge it:
    
![image](https://cloud.githubusercontent.com/assets/89049/23130497/f2ee89ce-f786-11e6-94ca-2d76d53ee1e8.png)
    
    Can you rebase the PR on the current 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)