diff options
| -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 \ |