public DigitsNode(XmlElement el)
		{
			if (el != null) {
				color = new EditorHighlightColor(el);
			} else {
				color = new EditorHighlightColor();
			}
			
			Text = ResNodeName("DigitsColor");
			
			panel = new DigitsOptionPanel(this);
		}
Exemple #2
0
        public DigitsNode(XmlElement el)
        {
            if (el != null)
            {
                color = new EditorHighlightColor(el);
            }
            else
            {
                color = new EditorHighlightColor();
            }

            Text = ResNodeName("DigitsColor");

            panel = new DigitsOptionPanel(this);
        }