diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-09-08 19:40:15 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-08 19:40:15 -0400 |
| commit | b687870a55eae43a71ea3adc41be0ab341a8721f (patch) | |
| tree | 55b5046b6c2f9513edf09307c05cc50d3468ae67 /ext/bg/data/options-schema.json | |
| parent | ab4dbacc4c36d6373e22f758eefdb7514dc7cdb9 (diff) | |
Delay hide option (#774)
* Add hideDelay option
* Add _clearSelection
* Use hideDelay
* Prevent repeated delayed selection clears
* Fix popup hide timer being cleared when the cursor is moved into the frame
Diffstat (limited to 'ext/bg/data/options-schema.json')
| -rw-r--r-- | ext/bg/data/options-schema.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ext/bg/data/options-schema.json b/ext/bg/data/options-schema.json index e2dd0573..52d96db9 100644 --- a/ext/bg/data/options-schema.json +++ b/ext/bg/data/options-schema.json @@ -324,6 +324,7 @@ "alphanumeric", "autoHideResults", "delay", + "hideDelay", "length", "modifier", "deepDomScan", @@ -360,6 +361,11 @@ "minimum": 0, "default": 20 }, + "hideDelay": { + "type": "number", + "minimum": 0, + "default": 0 + }, "length": { "type": "integer", "minimum": 1, |