📄 toolloader.cs
字号:
// ToolLoader.cs
// Copyright (C) 2001 Mike Krueger
//
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
using System;
using System.IO;
using System.Collections;
using System.Diagnostics;
using System.Xml;
using System.Windows.Forms;
using SharpDevelop.Internal.ExternalTool;
namespace SharpDevelop.Tool.Data {
/// <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;
Debug.Assert(tool != null, "SharpDevelop.Tool.Data.ToolLoader : set ArrayList Tool (value == null)");
}
}
static bool LoadToolsFromStream(string filename)
{
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 WriteToolsToStream(Stream s)
{
XmlDocument doc = new XmlDocument();
doc.LoadXml("<TOOLS VERSION = \"" + TOOLFILEVERSION + "\" />");
foreach (ExternalTool et in tool)
doc.DocumentElement.AppendChild(et.ToXmlElement(doc));
doc.Save(new StreamWriter(s));
}
/// <summary>
/// This method loads the external tools from a XML based
/// configuration file.
/// </summary>
public static void LoadTools()
{
if (!LoadToolsFromStream(System.Environment.GetFolderPath(System.Environment.SpecialFolder.Personal) + "\\" + TOOLFILE)) {
Console.WriteLine("Tools: can't load user defaults, reading system defaults");
if (!LoadToolsFromStream(Application.StartupPath + "\\options\\" + TOOLFILE)) {
MessageBox.Show("Can't load external tools configuration file", "Warning", MessageBoxButtons.OK, MessageBoxIcon.Warning);
}
}
}
/// <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()
{
WriteToolsToStream(File.Create(System.Environment.GetFolderPath(System.Environment.SpecialFolder.Personal) + "\\" + TOOLFILE));
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -