📄 toolloader.cs
字号:
// <file>
// <copyright see="prj:///doc/copyright.txt"/>
// <license see="prj:///doc/license.txt"/>
// <owner name="Mike Krüger" email="mike@icsharpcode.net"/>
// <version>$Revision: 915 $</version>
// </file>
using System;
using System.IO;
using System.Collections;
using System.Diagnostics;
using System.Xml;
using ICSharpCode.Core;
namespace ICSharpCode.SharpDevelop.Internal.ExternalTool
{
/// <summary>
/// This class handles the external tools
/// </summary>
public class ToolLoader
{
static string TOOLFILE = "SharpDevelop-tools.xml";
static string TOOLFILEVERSION = "1";
static ArrayList tool = new ArrayList();
public static ArrayList Tool {
get {
return tool;
}
set {
tool = value;
System.Diagnostics.Debug.Assert(tool != null, "SharpDevelop.Tool.Data.ToolLoader : set ArrayList Tool (value == null)");
}
}
static bool LoadToolsFromStream(string filename)
{
if (!File.Exists(filename)) {
return false;
}
XmlDocument doc = new XmlDocument();
try {
doc.Load(filename);
if (doc.DocumentElement.Attributes["VERSION"].InnerText != TOOLFILEVERSION)
return false;
tool = new ArrayList();
XmlNodeList nodes = doc.DocumentElement.ChildNodes;
foreach (XmlElement el in nodes)
tool.Add(new ExternalTool(el));
} catch (Exception) {
return false;
}
return true;
}
static void WriteToolsToFile(string fileName)
{
XmlDocument doc = new XmlDocument();
doc.LoadXml("<TOOLS VERSION = \"" + TOOLFILEVERSION + "\" />");
foreach (ExternalTool et in tool) {
doc.DocumentElement.AppendChild(et.ToXmlElement(doc));
}
FileUtility.ObservedSave(new NamedFileOperationDelegate(doc.Save), fileName, FileErrorPolicy.ProvideAlternative);
}
/// <summary>
/// This method loads the external tools from a XML based
/// configuration file.
/// </summary>
static ToolLoader()
{
if (!LoadToolsFromStream(Path.Combine(PropertyService.ConfigDirectory, TOOLFILE))) {
if (!LoadToolsFromStream(FileUtility.Combine(PropertyService.DataDirectory, "options", TOOLFILE))) {
MessageService.ShowWarning("${res:Internal.ExternalTool.CantLoadToolConfigWarining}");
}
}
}
/// <summary>
/// This method saves the external tools to a XML based
/// configuration file in the current user's own files directory
/// </summary>
public static void SaveTools()
{
WriteToolsToFile(Path.Combine(PropertyService.ConfigDirectory, TOOLFILE));
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -