Add SpinnerConfig

This new config section allows to customize frames and rate of
thespinner
This commit is contained in:
Artem Belyakov 2024-04-06 13:35:50 +02:00 committed by Stefan Haller
parent 53f0c4aeff
commit f3dba743f0
15 changed files with 101 additions and 31 deletions

View file

@ -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,