diff options
author | siikamiika <siikamiika@users.noreply.github.com> | 2020-01-25 19:00:36 +0200 |
---|---|---|
committer | siikamiika <siikamiika@users.noreply.github.com> | 2020-02-09 21:51:33 +0200 |
commit | 939ad42dacfeff566497f3c2f8e9c64d59b8168d (patch) | |
tree | 7adced1abbaacc2ee64fcae92e317ef98ec9a817 /ext/bg/data/options-schema.json | |
parent | f29abfc5115b06281c18467d7cf7b43bf133da82 (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.json | 5 |
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"], |