2020-07-21 11:40:17 +00:00
|
|
|
<!-- HTML for showing infos about the current query or result. Also gives
|
|
|
|
|
the user the abiltiy to access the meta data for the current query or
|
|
|
|
|
result.-->
|
|
|
|
|
|
2020-09-16 07:29:02 +00:00
|
|
|
<div class="col s12 m3 l2" id="infos">
|
2020-07-21 11:40:17 +00:00
|
|
|
<h6 style="margin-top: 0px;">Infos</h6>
|
|
|
|
|
<div class="divider" style="margin-bottom: 10px;"></div>
|
|
|
|
|
<div class="row">
|
2020-10-05 14:55:02 +00:00
|
|
|
<div class="col s12">
|
|
|
|
|
<button id="loading-matches"
|
|
|
|
|
class="waves-effect
|
|
|
|
|
waves-light
|
|
|
|
|
btn-flat
|
|
|
|
|
flat-interaction
|
|
|
|
|
disabled black-text"
|
|
|
|
|
style="color: #000 !important;"
|
|
|
|
|
type="submit">
|
|
|
|
|
<i class="material-icons left">dvr</i>
|
|
|
|
|
<span id="recieved-match-count"></span>/
|
|
|
|
|
<span id="total-match-count"></span>
|
|
|
|
|
matches loaded
|
|
|
|
|
</button>
|
|
|
|
|
</div>
|
2020-07-21 11:40:17 +00:00
|
|
|
<div class="col s12">
|
2020-08-17 14:15:34 +00:00
|
|
|
<div class="progress hide" id="query-progress-bar">
|
|
|
|
|
<div class="determinate"></div>
|
|
|
|
|
</div>
|
2020-10-05 14:55:02 +00:00
|
|
|
</div>
|
2020-10-07 12:48:47 +00:00
|
|
|
<div class="col s12">
|
|
|
|
|
<button id="show-meta-data"
|
|
|
|
|
class="waves-effect
|
|
|
|
|
waves-light
|
|
|
|
|
btn-flat
|
|
|
|
|
flat-interaction"
|
|
|
|
|
type="submit">Corpus Meta Data
|
|
|
|
|
<i class="material-icons left">info_outline</i>
|
|
|
|
|
</button>
|
|
|
|
|
</div>
|
2020-10-05 14:55:02 +00:00
|
|
|
<div class="col s12">
|
|
|
|
|
<button id="show-corpus-files"
|
|
|
|
|
class="waves-effect
|
|
|
|
|
waves-light
|
|
|
|
|
btn-flat
|
|
|
|
|
flat-interaction"
|
|
|
|
|
type="submit">
|
|
|
|
|
<i class="material-icons left">info_outline</i>
|
|
|
|
|
Matches in
|
2020-07-21 11:40:17 +00:00
|
|
|
<span id="text-lookup-count"></span>
|
2020-10-05 14:55:02 +00:00
|
|
|
files
|
|
|
|
|
</button>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="col s12">
|
2020-08-17 14:15:34 +00:00
|
|
|
<p class="hide" id="query-results-user-feedback">
|
|
|
|
|
<i class="material-icons tiny">help</i>
|
|
|
|
|
Server is sending your results.
|
2020-07-21 11:40:17 +00:00
|
|
|
Functions like "Export Results" and "Match Inspect" will be
|
|
|
|
|
available after all matches have been loaded.
|
|
|
|
|
</p>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
