diff options
author | siikamiika <siikamiika@users.noreply.github.com> | 2019-10-29 23:49:36 +0200 |
---|---|---|
committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-11-23 16:56:10 +0200 |
commit | f63e8e4be0e7bdb1a2e45e349bf667ea7ca4adab (patch) | |
tree | b2a07d606c3b50f54eefab09c01b747cc7dc05de /ext/mixed | |
parent | baf0325f628d42f382370b82e33e4c1a810050f9 (diff) |
add simple query parser
Diffstat (limited to 'ext/mixed')
-rw-r--r-- | ext/mixed/css/display.css | 9 | ||||
-rw-r--r-- | ext/mixed/js/display.js | 2 |
2 files changed, 11 insertions, 0 deletions
diff --git a/ext/mixed/css/display.css b/ext/mixed/css/display.css index 7ee6f5ac..5e5213ff 100644 --- a/ext/mixed/css/display.css +++ b/ext/mixed/css/display.css @@ -88,6 +88,15 @@ ol, ul { user-select: none; } +#query-parser { + margin-top: 10px; + font-size: 24px; +} + +.highlight { + background-color: lightblue; +} + /* * Entries diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index 8ad3ee1b..07a851f5 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -140,6 +140,8 @@ class Display { } this.setContentTerms(definitions, context); + + return {textSource}; } catch (error) { this.onError(error); } |