You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@flink.apache.org by "ASF GitHub Bot (JIRA)" <ji...@apache.org> on 2017/05/10 16:43:04 UTC

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

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

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

Github user greghogan commented on the issue:

    https://github.com/apache/flink/pull/3369
  
    @nellboy and also thanks for this contribution! Merging ...


> 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)