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