summaryrefslogtreecommitdiff
path: root/ext/bg/data/options-schema.json
diff options
context:
space:
mode:
authorsiikamiika <siikamiika@users.noreply.github.com>2020-01-25 19:00:36 +0200
committersiikamiika <siikamiika@users.noreply.github.com>2020-02-09 21:51:33 +0200
commit939ad42dacfeff566497f3c2f8e9c64d59b8168d (patch)
tree7adced1abbaacc2ee64fcae92e317ef98ec9a817 /ext/bg/data/options-schema.json
parentf29abfc5115b06281c18467d7cf7b43bf133da82 (diff)
add global clipboard monitor that spawns popups
TODO: refactor the search page clipboard monitor and popup clipboard monitor to use a common ClipboardMonitor class
Diffstat (limited to 'ext/bg/data/options-schema.json')
-rw-r--r--ext/bg/data/options-schema.json5
1 files changed, 5 insertions, 0 deletions
diff --git a/ext/bg/data/options-schema.json b/ext/bg/data/options-schema.json
index 7e12481d..d6207952 100644
--- a/ext/bg/data/options-schema.json
+++ b/ext/bg/data/options-schema.json
@@ -79,6 +79,7 @@
"type": "object",
"required": [
"enable",
+ "enableClipboardPopups",
"resultOutputMode",
"debugInfo",
"maxResults",
@@ -111,6 +112,10 @@
"type": "boolean",
"default": true
},
+ "enableClipboardPopups": {
+ "type": "boolean",
+ "default": false
+ },
"resultOutputMode": {
"type": "string",
"enum": ["group", "merge", "split"],