📄 digitsnode.cs
字号:
// <file>
// <copyright see="prj:///doc/copyright.txt"/>
// <license see="prj:///doc/license.txt"/>
// <owner name="Georg Brandl" email="g.brandl@gmx.net"/>
// <version>$Revision: 1352 $</version>
// </file>
using System;
using System.Windows.Forms;
using System.Drawing;
using System.Xml;
using ICSharpCode.TextEditor.Document;
using ICSharpCode.Core;
using ICSharpCode.SharpDevelop.Gui;
namespace ICSharpCode.SharpDevelop.AddIns.HighlightingEditor.Nodes
{
class DigitsNode : AbstractNode
{
EditorHighlightColor color;
public EditorHighlightColor Color {
get {
return color;
}
set {
color = value;
}
}
public DigitsNode(XmlElement el)
{
if (el != null) {
color = new EditorHighlightColor(el);
} else {
color = new EditorHighlightColor();
}
Text = ResNodeName("DigitsColor");
panel = new DigitsOptionPanel(this);
}
public override void UpdateNodeText()
{
}
public override void WriteXml(XmlWriter writer)
{
writer.WriteStartElement("Digits");
writer.WriteAttributeString("name", "Digits");
color.WriteXmlAttributes(writer);
writer.WriteEndElement();
}
}
class DigitsOptionPanel : NodeOptionPanel
{
private System.Windows.Forms.Button button;
private System.Windows.Forms.Label sampleLabel;
EditorHighlightColor color = new EditorHighlightColor();
public DigitsOptionPanel(DigitsNode parent) : base(parent)
{
SetupFromXmlStream(this.GetType().Assembly.GetManifestResourceStream("Resources.Digits.xfrm"));
button = (Button)ControlDictionary["button"];
button.Click += new EventHandler(EditButtonClicked);
sampleLabel = (Label)ControlDictionary["sampleLabel"];
}
public override void StoreSettings()
{
DigitsNode node = (DigitsNode)parent;
node.Color = color;
}
public override void LoadSettings()
{
DigitsNode node = (DigitsNode)parent;
Properties properties = ((Properties)PropertyService.Get("ICSharpCode.TextEditor.Document.Document.DefaultDocumentAggregatorProperties", new Properties()));
sampleLabel.Font = ParseFont(properties.Get("DefaultFont", ResourceService.CourierNew10.ToString()));
color = node.Color;
PreviewUpdate(sampleLabel, color);
}
void EditButtonClicked(object sender, EventArgs e)
{
using (EditHighlightingColorDialog dlg = new EditHighlightingColorDialog(color)) {
if (dlg.ShowDialog(this) == DialogResult.OK) {
color = dlg.Color;
PreviewUpdate(sampleLabel, color);
}
}
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -