DomainDefaultUserSettingsCodeEditorAppSettings