private static string ScopeRoot(SettingsScope scope) { switch (scope) { case SettingsScope.User: return("Preferences"); case SettingsScope.Project: return("Project"); default: throw scope.Unexpected(); } }
public static string ScopeName(SettingsScope scope) { switch (scope) { case SettingsScope.User: return("Preferences"); case SettingsScope.Project: return("Project Settings"); default: throw scope.Unexpected(); } }
public IEnumerable <PluginConfigurationItemAccessor> this[SettingsScope scope] { get { switch (scope) { case SettingsScope.User: return(editorPrefs); case SettingsScope.Project: return(projectSettings); default: throw scope.Unexpected(); } } }