2014-09-30 08:40:31 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<title>Reactive Search</title>
|
|
|
|
<meta http-equiv="content-type" content="text/html; charset=utf-8">
|
|
|
|
<!-- inject:css -->
|
|
|
|
<!-- endinject -->
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div class="container">
|
|
|
|
<!-- busy spinner -->
|
|
|
|
<div class="page-header">
|
2014-10-05 10:00:17 +00:00
|
|
|
<h1><img id="spinner" alt="loading" class="pull-right" src="images/spinner.gif" style="display: none;" width="32" height="32">Reactive Search</h1>
|
2014-09-30 08:40:31 +00:00
|
|
|
</div>
|
|
|
|
|
|
|
|
<!-- options dialog -->
|
|
|
|
<div class="modal fade" id="optionsDialog" tabindex="-1">
|
|
|
|
<div class="modal-dialog modal-sm">
|
|
|
|
<div class="modal-content">
|
2014-11-08 09:28:14 +00:00
|
|
|
<div class="modal-header">
|
|
|
|
<big>Options</big>
|
|
|
|
</div>
|
2014-09-30 08:40:31 +00:00
|
|
|
<div class="modal-body">
|
2014-11-08 09:28:14 +00:00
|
|
|
<div class="form-group">
|
|
|
|
<label for="minScore">Minimum score</label>
|
|
|
|
<input class="form-control" type="number" step="any" value="0.25" id="minScore">
|
|
|
|
</div>
|
|
|
|
<div class="form-group">
|
|
|
|
<label for="hintSteps">Hint steps</label>
|
|
|
|
<input class="form-control" type="number" value="20" id="hintSteps">
|
|
|
|
</div>
|
|
|
|
<div class="form-group">
|
|
|
|
<label for="maxResults">Max results</label>
|
|
|
|
<input class="form-control" type="number" value="100" id="maxResults">
|
|
|
|
</div>
|
2014-09-30 08:40:31 +00:00
|
|
|
<div class="checkbox">
|
|
|
|
<label><input type="checkbox" id="useLocalScale" checked="checked">Use local scale</label>
|
|
|
|
</div>
|
|
|
|
<div class="checkbox">
|
|
|
|
<label><input type="checkbox" id="useRelativeScale" checked="checked">Use relative scale</label>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
<div class="modal-footer">
|
|
|
|
<button type="button" class="btn btn-default" data-dismiss="modal">Close</button>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
2014-11-08 09:28:14 +00:00
|
|
|
<!-- query input -->
|
|
|
|
<div class="panel panel-default">
|
|
|
|
<div class="panel-heading">
|
|
|
|
<big>Query</big>
|
|
|
|
<div class="btn-group pull-right">
|
|
|
|
<button class="btn btn-xs btn-default" data-toggle="modal" data-target="#optionsDialog">Options</button>
|
2014-09-30 08:40:31 +00:00
|
|
|
</div>
|
2014-11-08 09:28:14 +00:00
|
|
|
</div>
|
|
|
|
<div class="panel-body">
|
|
|
|
<div class="form-group">
|
|
|
|
<label for="searchKeyword">Keywords</label>
|
|
|
|
<select id="searchKeyword" class="form-control"></select>
|
2014-09-30 08:40:31 +00:00
|
|
|
</div>
|
|
|
|
</div>
|
2014-11-08 09:28:14 +00:00
|
|
|
</div>
|
2014-09-30 08:40:31 +00:00
|
|
|
|
2014-11-08 09:28:14 +00:00
|
|
|
<!-- semantic tweaker -->
|
|
|
|
<div class="panel panel-default">
|
|
|
|
<div class="panel-heading">
|
|
|
|
<big>Semantic tweaker</big>
|
|
|
|
</div>
|
|
|
|
<div class="panel-body">
|
|
|
|
<svg id="svg" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="800" height="500"></svg>
|
|
|
|
<div class="text-center" style="display: none;">
|
|
|
|
<input id="history" style="width: 90%;" type="text" data-slider-reversed="true" data-slider-max="0">
|
2014-09-30 08:40:31 +00:00
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
</div>
|
2014-11-08 09:28:14 +00:00
|
|
|
|
|
|
|
<!-- result listing -->
|
|
|
|
<div class="panel panel-default">
|
|
|
|
<div class="panel-heading">
|
|
|
|
<big>Query results (<span id="count"></span>)</big>
|
|
|
|
</div>
|
|
|
|
<div class="panel-body">
|
|
|
|
<script id="template" type="text/x-handlers-template">
|
|
|
|
{{#if results}}
|
|
|
|
<table class="table table-striped table-condensed">
|
|
|
|
<thead>
|
|
|
|
<tr>
|
|
|
|
<th>Id</th>
|
|
|
|
<th>Name</th>
|
|
|
|
<th>Score</th>
|
|
|
|
</tr>
|
|
|
|
</thead>
|
|
|
|
{{#each results}}
|
|
|
|
<tr>
|
|
|
|
<td>{{id}}</td>
|
|
|
|
<td><a href="{{url}}">{{name}}</a></td>
|
|
|
|
<td>{{score}}</td>
|
|
|
|
</tr>
|
|
|
|
{{/each}}
|
|
|
|
</table>
|
|
|
|
{{/if}}
|
|
|
|
</script>
|
|
|
|
<div id="results"></div>
|
|
|
|
</div>
|
|
|
|
</div>
|
2014-09-30 08:40:31 +00:00
|
|
|
</div>
|
|
|
|
<!-- inject:js -->
|
|
|
|
<!-- endinject -->
|
|
|
|
</body>
|
|
|
|
</html>
|