mirror of
https://github.com/simon987/Simple-Incremental-Search-Tool.git
synced 2025-04-10 14:06:41 +00:00
64 lines
2.3 KiB
HTML
64 lines
2.3 KiB
HTML
{% extends "layout.html" %}
|
|
|
|
{% set active_page = "search" %}
|
|
|
|
{% block title %}Search{% endblock title %}
|
|
|
|
{% block imports %}
|
|
<link href="/static/css/search.css" rel="stylesheet" type="text/css">
|
|
{% endblock %}
|
|
|
|
{% block body %}
|
|
|
|
<div class="container">
|
|
<div class="card">
|
|
<div class="card-body">
|
|
<div class="form-group">
|
|
<input id="pathBar" type="search" class="form-control" placeholder="Filter path">
|
|
</div>
|
|
<div class="input-group">
|
|
<div class="input-group-prepend">
|
|
<div class="input-group-text">
|
|
<span onclick="document.getElementById('barToggle').click()">Must match </span>
|
|
<input title="Toggle between 'Should' and 'Must' match mode" type="checkbox" id="barToggle" onclick="toggleSearchBar()" checked>
|
|
</div>
|
|
</div>
|
|
<input id="searchBar" type="search" class="form-control" placeholder="Search">
|
|
|
|
</div>
|
|
|
|
<input title="File size" id="sizeSlider" name="size">
|
|
|
|
<div class="row">
|
|
<div class="col">
|
|
<label for="directories" >Search in directories</label>
|
|
|
|
<select class="custom-select" id="directories" multiple size="6">
|
|
{% if directories | length > 0%}
|
|
{% for dir in directories %}
|
|
<option selected value="{{ dir.id }}">{{ dir.name }}</option>
|
|
{% endfor %}
|
|
{% else %}
|
|
<option disabled>There are no active directories which you have access to</option>
|
|
{% endif %}
|
|
</select>
|
|
</div>
|
|
|
|
<div class="col">
|
|
<label>Mime types</label>
|
|
|
|
<div class="tree"></div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="searchResults"></div>
|
|
|
|
<script>
|
|
var mimeMap = {{ mime_map | tojson }};
|
|
</script>
|
|
<script src="/static/js/search.js"></script>
|
|
</div>
|
|
|
|
{% endblock body %} |