Example #1
0
        public virtual void ApplyChanges()
        {
            showLineNumbers          = this.showLineNumbersCheckbutton.Active;
            underlineErrors          = this.underlineErrorsCheckbutton.Active;
            highlightMatchingBracket = this.highlightMatchingBracketCheckbutton.Active;
            highlightCurrentLine     = this.highlightCurrentLineCheckbutton.Active;
            showRuler             = this.showRulerCheckbutton.Active;
            enableAnimation       = this.enableAnimationCheckbutton1.Active;
            enableHighlightUsages = this.enableHighlightUsagesCheckbutton.Active;
            drawIndentMarkers     = this.drawIndentMarkersCheckbutton.Active;
            showWhitespaces       = (ShowWhitespaces)this.showWhitespacesCombobox.Active;
            enableQuickDiff       = this.enableQuickDiffCheckbutton.Active;

            var include = IncludeWhitespaces.None;

            if (checkbuttonSpaces.Active)
            {
                include |= IncludeWhitespaces.Space;
            }
            if (checkbuttonTabs.Active)
            {
                include |= IncludeWhitespaces.Tab;
            }
            if (checkbuttonLineEndings.Active)
            {
                include |= IncludeWhitespaces.LineEndings;
            }
            includeWhitespaces = include;
        }
 public virtual void CopyFrom(TextEditorOptions other)
 {
     Zoom = other.Zoom;
     highlightMatchingBracket = other.highlightMatchingBracket;
     tabsToSpaces             = other.tabsToSpaces;
     indentationSize          = other.indentationSize;
     tabSize                    = other.tabSize;
     showIconMargin             = other.showIconMargin;
     showLineNumberMargin       = other.showLineNumberMargin;
     showFoldMargin             = other.showFoldMargin;
     highlightCaretLine         = other.highlightCaretLine;
     rulerColumn                = other.rulerColumn;
     showRuler                  = other.showRuler;
     indentStyle                = other.indentStyle;
     fontName                   = other.fontName;
     enableSyntaxHighlighting   = other.enableSyntaxHighlighting;
     colorStyle                 = other.colorStyle;
     overrideDocumentEolMarker  = other.overrideDocumentEolMarker;
     defaultEolMarker           = other.defaultEolMarker;
     enableAnimations           = other.enableAnimations;
     drawIndentationMarkers     = other.drawIndentationMarkers;
     showWhitespaces            = other.showWhitespaces;
     includeWhitespaces         = other.includeWhitespaces;
     generateFormattingUndoStep = other.generateFormattingUndoStep;
     DisposeFont();
     OnChanged(EventArgs.Empty);
 }
Example #3
0
        public virtual Control CreatePanelWidget()
        {
            this.showLineNumbersCheckbutton.Active   = showLineNumbers = DefaultSourceEditorOptions.Instance.ShowLineNumberMargin;
            this.showLineNumbersCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.ShowLineNumberMargin = this.showLineNumbersCheckbutton.Active;
            };

            this.highlightMatchingBracketCheckbutton.Active   = highlightMatchingBracket = DefaultSourceEditorOptions.Instance.HighlightMatchingBracket;
            this.highlightMatchingBracketCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.HighlightMatchingBracket = this.highlightMatchingBracketCheckbutton.Active;
            };

            this.highlightCurrentLineCheckbutton.Active   = highlightCurrentLine = DefaultSourceEditorOptions.Instance.HighlightCaretLine;
            this.highlightCurrentLineCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.HighlightCaretLine = this.highlightCurrentLineCheckbutton.Active;
            };

            this.showRulerCheckbutton.Active   = showRuler = DefaultSourceEditorOptions.Instance.ShowRuler;
            this.showRulerCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.ShowRuler = this.showRulerCheckbutton.Active;
            };

            this.enableAnimationCheckbutton1.Active   = enableAnimation = DefaultSourceEditorOptions.Instance.EnableAnimations;
            this.enableAnimationCheckbutton1.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.EnableAnimations = this.enableAnimationCheckbutton1.Active;
            };

            this.enableHighlightUsagesCheckbutton.Active   = enableHighlightUsages = DefaultSourceEditorOptions.Instance.EnableHighlightUsages;
            this.enableHighlightUsagesCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.EnableHighlightUsages = this.enableHighlightUsagesCheckbutton.Active;
            };

            this.drawIndentMarkersCheckbutton.Active   = drawIndentMarkers = DefaultSourceEditorOptions.Instance.DrawIndentationMarkers;
            this.drawIndentMarkersCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.DrawIndentationMarkers = this.drawIndentMarkersCheckbutton.Active;
            };
            this.showWhitespacesCombobox.AppendText(GettextCatalog.GetString("Never"));
            this.showWhitespacesCombobox.AppendText(GettextCatalog.GetString("Selection"));
            this.showWhitespacesCombobox.AppendText(GettextCatalog.GetString("Always"));
            this.showWhitespacesCombobox.Active   = (int)(showWhitespaces = DefaultSourceEditorOptions.Instance.ShowWhitespaces);
            this.showWhitespacesCombobox.Changed += delegate {
                DefaultSourceEditorOptions.Instance.ShowWhitespaces = (ShowWhitespaces)this.showWhitespacesCombobox.Active;
            };
            this.checkbuttonSpaces.Active   = DefaultSourceEditorOptions.Instance.IncludeWhitespaces.HasFlag(IncludeWhitespaces.Space);
            this.checkbuttonSpaces.Toggled += CheckbuttonSpaces_Toggled;

            this.checkbuttonTabs.Active   = DefaultSourceEditorOptions.Instance.IncludeWhitespaces.HasFlag(IncludeWhitespaces.Tab);
            this.checkbuttonTabs.Toggled += CheckbuttonSpaces_Toggled;

            this.checkbuttonLineEndings.Active   = DefaultSourceEditorOptions.Instance.IncludeWhitespaces.HasFlag(IncludeWhitespaces.LineEndings);
            this.checkbuttonLineEndings.Toggled += CheckbuttonSpaces_Toggled;

            includeWhitespaces = DefaultSourceEditorOptions.Instance.IncludeWhitespaces;
            this.enableQuickDiffCheckbutton.Active   = enableQuickDiff = DefaultSourceEditorOptions.Instance.EnableQuickDiff;
            this.enableQuickDiffCheckbutton.Toggled += delegate {
                DefaultSourceEditorOptions.Instance.EnableQuickDiff = this.enableQuickDiffCheckbutton.Active;
            };
            return(this);
        }
Example #4
0
		public MarkerPanel()
		{
			this.Build();
			showLineNumbers = DefaultSourceEditorOptions.Instance.ShowLineNumberMargin;
			highlightMatchingBracket = DefaultSourceEditorOptions.Instance.HighlightMatchingBracket;
			highlightCurrentLine = DefaultSourceEditorOptions.Instance.HighlightCaretLine;
			showRuler = DefaultSourceEditorOptions.Instance.ShowRuler;
			enableAnimation = DefaultSourceEditorOptions.Instance.EnableAnimations;
			enableHighlightUsages = DefaultSourceEditorOptions.Instance.EnableHighlightUsages;
			drawIndentMarkers = DefaultSourceEditorOptions.Instance.DrawIndentationMarkers;
			showWhitespaces = DefaultSourceEditorOptions.Instance.ShowWhitespaces;
			includeWhitespaces = DefaultSourceEditorOptions.Instance.IncludeWhitespaces;
			enableQuickDiff = DefaultSourceEditorOptions.Instance.EnableQuickDiff;
		}
Example #5
0
 public MarkerPanel()
 {
     this.Build();
     showLineNumbers          = DefaultSourceEditorOptions.Instance.ShowLineNumberMargin;
     highlightMatchingBracket = DefaultSourceEditorOptions.Instance.HighlightMatchingBracket;
     highlightCurrentLine     = DefaultSourceEditorOptions.Instance.HighlightCaretLine;
     showRuler             = DefaultSourceEditorOptions.Instance.ShowRuler;
     enableAnimation       = DefaultSourceEditorOptions.Instance.EnableAnimations;
     enableHighlightUsages = DefaultSourceEditorOptions.Instance.EnableHighlightUsages;
     drawIndentMarkers     = DefaultSourceEditorOptions.Instance.DrawIndentationMarkers;
     showWhitespaces       = DefaultSourceEditorOptions.Instance.ShowWhitespaces;
     includeWhitespaces    = DefaultSourceEditorOptions.Instance.IncludeWhitespaces;
     enableQuickDiff       = DefaultSourceEditorOptions.Instance.EnableQuickDiff;
 }
		public virtual void CopyFrom (TextEditorOptions other)
		{
			zoom = other.zoom;
			highlightMatchingBracket = other.highlightMatchingBracket;
			tabsToSpaces = other.tabsToSpaces;
			indentationSize = other.indentationSize;
			tabSize = other.tabSize;
			showIconMargin = other.showIconMargin;
			showLineNumberMargin = other.showLineNumberMargin;
			showFoldMargin = other.showFoldMargin;
			highlightCaretLine = other.highlightCaretLine;
			rulerColumn = other.rulerColumn;
			showRuler = other.showRuler;
			indentStyle = other.indentStyle;
			fontName = other.fontName;
			enableSyntaxHighlighting = other.enableSyntaxHighlighting;
			colorStyle = other.colorStyle;
			overrideDocumentEolMarker = other.overrideDocumentEolMarker;
			defaultEolMarker = other.defaultEolMarker;
			enableAnimations = other.enableAnimations;
			useAntiAliasing = other.useAntiAliasing;
			drawIndentationMarkers = other.drawIndentationMarkers;
			showWhitespaces = other.showWhitespaces;
			includeWhitespaces = other.includeWhitespaces;
			DisposeFont ();
			OnChanged (EventArgs.Empty);
		}
Example #7
0
		public virtual Control CreatePanelWidget ()
		{
			this.showLineNumbersCheckbutton.Active = showLineNumbers = DefaultSourceEditorOptions.Instance.ShowLineNumberMargin;
			this.showLineNumbersCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.ShowLineNumberMargin = this.showLineNumbersCheckbutton.Active;
			};

			this.underlineErrorsCheckbutton.Active = underlineErrors = DefaultSourceEditorOptions.Instance.UnderlineErrors;
			this.underlineErrorsCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.UnderlineErrors = this.underlineErrorsCheckbutton.Active;
				foreach (var doc in IdeApp.Workbench.Documents)
					doc.StartReparseThread ();

			};

			this.highlightMatchingBracketCheckbutton.Active = highlightMatchingBracket = DefaultSourceEditorOptions.Instance.HighlightMatchingBracket;
			this.highlightMatchingBracketCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.HighlightMatchingBracket = this.highlightMatchingBracketCheckbutton.Active;
			};

			this.highlightCurrentLineCheckbutton.Active = highlightCurrentLine = DefaultSourceEditorOptions.Instance.HighlightCaretLine;
			this.highlightCurrentLineCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.HighlightCaretLine = this.highlightCurrentLineCheckbutton.Active;
			};

			this.showRulerCheckbutton.Active = showRuler = DefaultSourceEditorOptions.Instance.ShowRuler;
			this.showRulerCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.ShowRuler = this.showRulerCheckbutton.Active;
			};

			this.enableAnimationCheckbutton1.Active = enableAnimation = DefaultSourceEditorOptions.Instance.EnableAnimations;
			this.enableAnimationCheckbutton1.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.EnableAnimations = this.enableAnimationCheckbutton1.Active;
			};

			this.enableHighlightUsagesCheckbutton.Active = enableHighlightUsages = DefaultSourceEditorOptions.Instance.EnableHighlightUsages;
			this.enableHighlightUsagesCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.EnableHighlightUsages = this.enableHighlightUsagesCheckbutton.Active;
			};

			this.drawIndentMarkersCheckbutton.Active = drawIndentMarkers = DefaultSourceEditorOptions.Instance.DrawIndentationMarkers;
			this.drawIndentMarkersCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.DrawIndentationMarkers = this.drawIndentMarkersCheckbutton.Active;
			};
			this.showWhitespacesCombobox.AppendText (GettextCatalog.GetString ("Never"));
			this.showWhitespacesCombobox.AppendText (GettextCatalog.GetString ("Selection"));
			this.showWhitespacesCombobox.AppendText (GettextCatalog.GetString ("Always"));
			this.showWhitespacesCombobox.Active = (int)(showWhitespaces = DefaultSourceEditorOptions.Instance.ShowWhitespaces);
			this.showWhitespacesCombobox.Changed += delegate {
				DefaultSourceEditorOptions.Instance.ShowWhitespaces = (ShowWhitespaces) this.showWhitespacesCombobox.Active;
			};
			this.checkbuttonSpaces.Active = DefaultSourceEditorOptions.Instance.IncludeWhitespaces.HasFlag (IncludeWhitespaces.Space);
			this.checkbuttonSpaces.Toggled += CheckbuttonSpaces_Toggled;

			this.checkbuttonTabs.Active = DefaultSourceEditorOptions.Instance.IncludeWhitespaces.HasFlag (IncludeWhitespaces.Tab);
			this.checkbuttonTabs.Toggled += CheckbuttonSpaces_Toggled;

			this.checkbuttonLineEndings.Active = DefaultSourceEditorOptions.Instance.IncludeWhitespaces.HasFlag (IncludeWhitespaces.LineEndings);
			this.checkbuttonLineEndings.Toggled += CheckbuttonSpaces_Toggled;

			includeWhitespaces = DefaultSourceEditorOptions.Instance.IncludeWhitespaces;
			this.enableQuickDiffCheckbutton.Active = enableQuickDiff = DefaultSourceEditorOptions.Instance.EnableQuickDiff;
			this.enableQuickDiffCheckbutton.Toggled += delegate {
				DefaultSourceEditorOptions.Instance.EnableQuickDiff = this.enableQuickDiffCheckbutton.Active;
			};
			return this;
		}
Example #8
0
		public virtual void ApplyChanges ()
		{
			showLineNumbers = this.showLineNumbersCheckbutton.Active;
			underlineErrors = this.underlineErrorsCheckbutton.Active;
			highlightMatchingBracket = this.highlightMatchingBracketCheckbutton.Active;
			highlightCurrentLine = this.highlightCurrentLineCheckbutton.Active;
			showRuler = this.showRulerCheckbutton.Active;
			enableAnimation = this.enableAnimationCheckbutton1.Active;
			enableHighlightUsages = this.enableHighlightUsagesCheckbutton.Active;
			drawIndentMarkers = this.drawIndentMarkersCheckbutton.Active;
			showWhitespaces = (ShowWhitespaces) this.showWhitespacesCombobox.Active;
			enableQuickDiff = this.enableQuickDiffCheckbutton.Active;

			var include = IncludeWhitespaces.None;
			if (checkbuttonSpaces.Active)
				include |= IncludeWhitespaces.Space;
			if (checkbuttonTabs.Active)
				include |= IncludeWhitespaces.Tab;
			if (checkbuttonLineEndings.Active)
				include |= IncludeWhitespaces.LineEndings;
			includeWhitespaces = include;
		}