diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-07-26 19:29:12 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-26 19:29:12 -0400 |
| commit | 313476aa926797a0072b42c1dc6a12677f34551c (patch) | |
| tree | 62df864195f6256b468626b5f735ab72583318e8 /ext/fg/float.html | |
| parent | 0512258c8e77f4ee63a7f7d100e8bb7c898fc343 (diff) | |
Query parser fix (#695)
* Standardize setContent calls
* Rename _queryText to _fullQuery
* Move query parser into Display and update float.html
* Generalize params
* Add "full" parameter to maintain the original full query
Diffstat (limited to 'ext/fg/float.html')
| -rw-r--r-- | ext/fg/float.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ext/fg/float.html b/ext/fg/float.html index f5a85f8e..9d7fa4b4 100644 --- a/ext/fg/float.html +++ b/ext/fg/float.html @@ -21,6 +21,11 @@ <button class="action-button action-next" data-icon="source-term" title="Next term (Alt + F)"></button> </div></div><div class="navigation-header-spacer"></div> + <div class="scan-disable" hidden> + <div id="query-parser-select-container" class="input-group"></div> + <div id="query-parser-content"></div> + </div> + <div id="definitions"></div> <div id="no-results" hidden> @@ -57,8 +62,11 @@ <script src="/mixed/js/frame-endpoint.js"></script> <script src="/mixed/js/media-loader.js"></script> <script src="/mixed/js/scroll.js"></script> + <script src="/mixed/js/text-scanner.js"></script> <script src="/mixed/js/template-handler.js"></script> + <script src="/bg/js/query-parser-generator.js"></script> + <script src="/bg/js/query-parser.js"></script> <script src="/fg/js/float.js"></script> <script src="/fg/js/float-main.js"></script> |