/// <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));
}
