mudhorn/prometheus
1
0
Fork 0
mirror of https://github.com/prometheus/prometheus.git synced 2024-09-21 08:17:36 -07:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity
prometheus/web/static/vendor
History
Johannes 'fish' Ziemke 24b3a6d2cc Improve inserting of metrics in graph UI. 
- Metric will inserted at cursor position.
- Selected text will get replaced.
- Press <tab> to jump to metrics and <return> to jump back.
2013-03-26 14:16:23 +01:00
..
jquery-simple-datetimepicker Add a date/time picker to graph UI. 2013-03-21 14:26:13 +01:00
js Improve inserting of metrics in graph UI. 2013-03-26 14:16:23 +01:00