mudhorn/prometheus
1
0
Fork 0
mirror of https://github.com/prometheus/prometheus.git synced 2025-01-30 07:03:06 -08:00
Code Issues Actions 11 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