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/settings.html | |
| parent | 77c4d135c788c5e3606af4519b5f9bb5010f6fed (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.html | 31 |
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> |