mirror of
https://github.com/prometheus/prometheus.git
synced 2024-12-30 07:59:40 -08:00
50f8e35c54
* Add fuzzy search to /graph textarea We have a few thousands different metrics and looking up some of them can be quite annoying with the simple string matching. This patch adds a fuzzy search to the textarea lookup box on the /graph page. It uses a small neat library from github.com/mattyork/fuzzy. * Add fuzzy lib to NOTICE and re-build assets Previously built assets changed the mode.
30 lines
1.5 KiB
HTML
30 lines
1.5 KiB
HTML
{{define "head"}}
|
|
<link type="text/css" rel="stylesheet" href="{{ pathPrefix }}/static/css/graph.css">
|
|
|
|
<link type="text/css" rel="stylesheet" href="{{ pathPrefix }}/static/vendor/rickshaw/rickshaw.min.css">
|
|
<link type="text/css" rel="stylesheet" href="{{ pathPrefix }}/static/vendor/bootstrap-datetimepicker/bootstrap-datetimepicker.min.css">
|
|
|
|
<script src="{{ pathPrefix }}/static/vendor/rickshaw/vendor/d3.v3.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/rickshaw/vendor/d3.layout.min.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/rickshaw/rickshaw.min.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/bootstrap-datetimepicker/bootstrap-datetimepicker.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/bootstrap3-typeahead/bootstrap3-typeahead.min.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/fuzzy.js"></script>
|
|
|
|
<script src="{{ pathPrefix }}/static/vendor/js/handlebars.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/js/jquery.selection.js"></script>
|
|
<script src="{{ pathPrefix }}/static/vendor/js/jquery.hotkeys.js"></script>
|
|
|
|
<script src="{{ pathPrefix }}/static/js/graph.js?v=1"></script>
|
|
|
|
<script id="graph_template" type="text/x-handlebars-template"></script>
|
|
{{end}}
|
|
|
|
{{define "content"}}
|
|
<div id="graph_container" class="container-fluid">
|
|
</div>
|
|
<div class="container-fluid">
|
|
<div><input class="btn btn-primary" type="submit" value="Add Graph" id="add_graph"></div>
|
|
</div>
|
|
{{end}}
|