static public bool CloseTool(FileTool tool) { if (tool.File == null) { LoggingManager.SendMessage(LogSystemMessageType.Error, "FileManager - The File-Property of the plugin you're trying to close returned NULL! Plugin: {0}", tool.GetType().FullName); UIHelper.ShowError("The File-Property of the plugin you're trying to clsoe returned NULL! Contact the creator of the plugin."); ModManager.RequestAppExit("FileManager - Error in plugin"); return(false); } string path = tool.File.FilePath; if (tool.HasChanges) { DialogResult dr = UIHelper.ShowYNQuestion("Warning", "The current file has not been saved since the last changes have been made! Save it now?"); if (dr == DialogResult.Yes) { tool.SaveFile(); } } if (!tool.Close()) { UIHelper.ShowWarning("The PlugIn could not be closed!"); return(false); } s_openTools.Remove(path); return(true); }