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);
}
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);
}
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 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);
}
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;
}
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;
}
