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