diff options
| author | Brian Potchik <brian@vector35.com> | 2021-08-25 23:00:54 -0400 |
|---|---|---|
| committer | Brian Potchik <brian@vector35.com> | 2021-08-25 23:00:54 -0400 |
| commit | 0aac8eaf047733a0e3f75ed458bfa953d8cc792e (patch) | |
| tree | 4eceb2bc96ec0e45b5b9a5b1cc024e3b76bd52ab /python/settings.py | |
| parent | 84124764143d4f35961e2c61494d97640ac7f99f (diff) | |
Add 'requiresRestart' property to settings schema for UI notification.
Diffstat (limited to 'python/settings.py')
| -rw-r--r-- | python/settings.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/settings.py b/python/settings.py index 50538469..91f6259c 100644 --- a/python/settings.py +++ b/python/settings.py @@ -78,8 +78,10 @@ class Settings(object): "aliases" array : {string} None Yes Array of deprecated setting key(s) "description" string None No Detailed setting description "ignore" array : {string} None Yes {"SettingsUserScope", "SettingsProjectScope", "SettingsResourceScope"} + "message" string None Yes An optional message with additional emphasis "readOnly" boolean None Yes Only enforced by UI elements "optional" boolean None Yes Indicates setting can be null + "requiresRestart boolean None Yes Enable restart notification in the UI upon change ================== ====================================== ================== ======== ======================================================================= .. note:: In order to facilitate deterministic analysis results, settings from the *'default'* schema that impact analysis are serialized \ |