diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2022-04-03 22:52:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-03 22:52:53 -0400 |
| commit | e5b53bb238e59b1cd6371c0379d6171a3e1e68fa (patch) | |
| tree | 9b547a78dc492ef6f4dd75a3def0d56f52f19262 /ext/js/data/options-util.js | |
| parent | 77c4d135c788c5e3606af4519b5f9bb5010f6fed (diff) | |
Hide popup on cursor exit (#2109)
* Update phrasing
* Add new options
* Add settings
* Implement
Diffstat (limited to 'ext/js/data/options-util.js')
| -rw-r--r-- | ext/js/data/options-util.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/js/data/options-util.js b/ext/js/data/options-util.js index 3422b773..593fed29 100644 --- a/ext/js/data/options-util.js +++ b/ext/js/data/options-util.js @@ -931,6 +931,8 @@ class OptionsUtil { // general.popupTheme's 'default' value changed to 'light' // general.popupOuterTheme's 'default' value changed to 'light' // general.popupOuterTheme's 'auto' value changed to 'site' + // Added scanning.hidePopupOnCursorExit. + // Added scanning.hidePopupOnCursorExitDelay. for (const profile of options.profiles) { const {general} = profile.options; if (general.popupTheme === 'default') { @@ -940,6 +942,8 @@ class OptionsUtil { case 'default': general.popupOuterTheme = 'light'; break; case 'auto': general.popupOuterTheme = 'site'; break; } + profile.options.scanning.hidePopupOnCursorExit = false; + profile.options.scanning.hidePopupOnCursorExitDelay = profile.options.scanning.hideDelay; } return options; } |