internal static void Refresh (FileExtension ext)
{
NotifyExtensionRemoved (ext);
NotifyExtensionAdded (ext);
}
static void NotifyExtensionRemoved (FileExtension extension)
{
if (FileExtensionRemoved != null)
FileExtensionRemoved (null, new FileExtensionEventArgs () { Extension = extension });
}
/// <summary>
/// Registers a text editor extension.
/// </summary>
/// <param name='extension'>
/// The extension.
/// </param>
public static void RegisterExtension (FileExtension extension)
{
List<FileExtension> list;
if (!fileExtensions.TryGetValue (extension.File, out list))
list = fileExtensions [extension.File] = new List<FileExtension> ();
list.Add (extension);
NotifyExtensionAdded (extension);
}
/// <summary>
/// Unregisters a text editor extension.
/// </summary>
/// <param name='extension'>
/// Extension.
/// </param>
public static void UnregisterExtension (FileExtension extension)
{
List<FileExtension> list;
if (!fileExtensions.TryGetValue (extension.File, out list))
return;
if (list.Remove (extension))
NotifyExtensionRemoved (extension);
}
internal static void Refresh(FileExtension ext)
{
NotifyExtensionRemoved(ext);
NotifyExtensionAdded(ext);
}
