diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-11-12 20:32:46 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-12 20:32:46 -0500 |
commit | f2ad94e54f2a110bf93aebfae33c808c497005be (patch) | |
tree | 82580173f795f09e40fbc47f0e8877e24b751160 /ext/mixed/js/dictionary-data-util.js | |
parent | 219dfb4917f5b19da19b85ff223de663db561fe7 (diff) |
Text scanning options propagation (#1020)
* Update Display.setOptionsContext to update options
* Update how options context is updated in Popup
* Omit optionsContext for some _showPopupContent calls
* Remove extension unload
* Disable modifier keys in frontend's options context
* Update how text scanner passes modifiers to options context
* Update how options context is passed to display
* Update how display uses options context
Diffstat (limited to 'ext/mixed/js/dictionary-data-util.js')
0 files changed, 0 insertions, 0 deletions