Robert Metzger created FLINK-5831:
-------------------------------------
Summary: 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
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)
