[
https://issues.apache.org/jira/browse/FLINK-5831?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15874660#comment-15874660
]
ASF GitHub Bot commented on FLINK-5831:
---------------------------------------
GitHub user nellboy opened a pull request:
https://github.com/apache/flink/pull/3362
[FLINK-5831] [webui] order, search and filter metrics
When adding metrics, available metrics are now ordered alphabetically and
filtered via a search box
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/nellboy/flink webui/metrics-selection
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/flink/pull/3362.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #3362
----
commit 2929dbe93984117d71a57e4499337d3fbfbc5537
Author: paul <[email protected]>
Date: 2017-02-20T09:28:14Z
[FLINK-5831] [webui] sort metrics by id
commit c2393bd01e06edf360002bd87f46c3f50fcda62f
Author: paul <[email protected]>
Date: 2017-02-20T15:01:25Z
[FLINK-5831] [webui] search and filter metrics
----
> 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)
