/// <summary> /// Unregisters a linter from the specified language. /// </summary> /// <param name="language"></param> /// <param name="provider"></param> public static void UnregisterLinter(string language, ILintProvider provider) { language = language.ToLower(); if (linters.ContainsKey(language)) { linters[language].Remove(provider); } EventManager.DispatchEvent(provider, new DataEvent(EventType.Command, "LintingManager.LinterUnregistered", language)); }
/// <summary> /// Registers a new linter for the specified language. There can be more than one linter /// </summary> /// <param name="language">the language to use the linter for (cAsE is ignored)</param> /// <param name="provider">the linter</param> public static void RegisterLinter(string language, ILintProvider provider) { language = language.ToLower(); var list = linters.GetOrCreate(language); if (!list.Contains(provider)) { list.Add(provider); } EventManager.DispatchEvent(provider, new DataEvent(EventType.Command, "LintingManager.LinterRegistered", language)); }