DomainDefaultUserSettingsCodeEditorAppSettingsArgs