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 /dev/lint | |
| 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 'dev/lint')
0 files changed, 0 insertions, 0 deletions