summaryrefslogtreecommitdiff
path: root/ext/js/data/options-util.js
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2022-04-03 22:52:53 -0400
committerGitHub <noreply@github.com>2022-04-03 22:52:53 -0400
commite5b53bb238e59b1cd6371c0379d6171a3e1e68fa (patch)
tree9b547a78dc492ef6f4dd75a3def0d56f52f19262 /ext/js/data/options-util.js
parent77c4d135c788c5e3606af4519b5f9bb5010f6fed (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.js4
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;
}