prometheus/web/static/vendor
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