summaryrefslogtreecommitdiff
path: root/ext/settings.html
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/settings.html
parent77c4d135c788c5e3606af4519b5f9bb5010f6fed (diff)
Hide popup on cursor exit (#2109)
* Update phrasing * Add new options * Add settings * Implement
Diffstat (limited to 'ext/settings.html')
-rw-r--r--ext/settings.html31
1 files changed, 29 insertions, 2 deletions
diff --git a/ext/settings.html b/ext/settings.html
index fcd73f4d..6d91695d 100644
--- a/ext/settings.html
+++ b/ext/settings.html
@@ -418,7 +418,7 @@
<div class="settings-item-inner">
<div class="settings-item-left">
<div class="settings-item-label">Auto-hide search popup</div>
- <div class="settings-item-description">When no definitions are found after scanning text, the popup will automatically hide.</div>
+ <div class="settings-item-description">When no definitions are found after scanning text, the popup will be hidden.</div>
</div>
<div class="settings-item-right">
<label class="toggle"><input type="checkbox" data-setting="scanning.autoHideResults"
@@ -433,7 +433,7 @@
<div class="settings-item-children settings-item-children-group" id="auto-hide-search-popup-options" hidden>
<div class="settings-item"><div class="settings-item-inner settings-item-inner-wrappable">
<div class="settings-item-left">
- <div class="settings-item-label">Auto-hide delay <span class="light">(in milliseconds)</span></div>
+ <div class="settings-item-label">Delay <span class="light">(in milliseconds)</span></div>
</div>
<div class="settings-item-right">
<input type="number" data-setting="scanning.hideDelay" min="0">
@@ -441,6 +441,33 @@
</div></div>
</div>
</div>
+ <div class="settings-item">
+ <div class="settings-item-inner">
+ <div class="settings-item-left">
+ <div class="settings-item-label">Hide popup on cursor exit</div>
+ <div class="settings-item-description">When the cursor exits the popup, the popup will be hidden.</div>
+ </div>
+ <div class="settings-item-right">
+ <label class="toggle"><input type="checkbox" data-setting="scanning.hidePopupOnCursorExit"
+ data-transform='{
+ "type": "setVisibility",
+ "selector": "#hide-popup-on-cursor-exit-options",
+ "condition": {"op": "===", "value": true}
+ }'
+ ><span class="toggle-body"><span class="toggle-track"></span><span class="toggle-knob"></span></span></label>
+ </div>
+ </div>
+ <div class="settings-item-children settings-item-children-group" id="hide-popup-on-cursor-exit-options" hidden>
+ <div class="settings-item"><div class="settings-item-inner settings-item-inner-wrappable">
+ <div class="settings-item-left">
+ <div class="settings-item-label">Delay <span class="light">(in milliseconds)</span></div>
+ </div>
+ <div class="settings-item-right">
+ <input type="number" data-setting="scanning.hidePopupOnCursorExitDelay" min="0">
+ </div>
+ </div></div>
+ </div>
+ </div>
<div class="settings-item"><div class="settings-item-inner settings-item-inner-wrappable">
<div class="settings-item-left">
<div class="settings-item-label">Scan delay <span class="light">(in milliseconds)</span></div>