diff options
| author | Artem Belyakov <artm.belyakov@gmail.com> | 2024-04-06 13:35:50 +0200 |
|---|---|---|
| committer | Stefan Haller <stefan@haller-berlin.de> | 2024-04-06 13:46:15 +0200 |
| commit | f3dba743f04a7768a4d97ddcd9f9b6ce4acb9fed (patch) | |
| tree | d750990bc7eba16dbf775d8072a2246bf9d0b0fa /schema | |
| parent | 53f0c4aeffadabfc0bad783831843fdd128b51be (diff) | |
Add `SpinnerConfig`
This new config section allows to customize frames and rate of
thespinner
Diffstat (limited to 'schema')
| -rw-r--r-- | schema/config.json | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/schema/config.json b/schema/config.json index 3a2cad060..21860c39c 100644 --- a/schema/config.json +++ b/schema/config.json @@ -366,6 +366,32 @@ ], "description": "How things are filtered when typing '/'.\nOne of 'substring' (default) | 'fuzzy'", "default": "substring" + }, + "spinner": { + "properties": { + "frames": { + "items": { + "type": "string" + }, + "type": "array", + "description": "The frames of the spinner animation.", + "default": [ + "|", + "/", + "-", + "\\" + ] + }, + "rate": { + "type": "integer", + "minimum": 1, + "description": "The \"speed\" of the spinner in milliseconds.", + "default": 50 + } + }, + "additionalProperties": false, + "type": "object", + "description": "Config relating to the spinner." } }, "additionalProperties": false, |