summaryrefslogtreecommitdiff
path: root/ext/bg/data/options-schema.json
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2020-09-08 19:40:15 -0400
committerGitHub <noreply@github.com>2020-09-08 19:40:15 -0400
commitb687870a55eae43a71ea3adc41be0ab341a8721f (patch)
tree55b5046b6c2f9513edf09307c05cc50d3468ae67 /ext/bg/data/options-schema.json
parentab4dbacc4c36d6373e22f758eefdb7514dc7cdb9 (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.json6
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,