upstream/prometheus
1
0
Fork 0
mirror of https://github.com/prometheus/prometheus.git synced 2026-04-24 07:38:12 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 4
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