public TextEditorConfig() { Indentation = 4; IndentationMode = IndentationMode.Tabs; UseEditorConfig = true; ShowLineNumbers = true; ShowWhitespace = false; WordWrap = false; SmartIndent = true; MainFontName = "Consolas"; MainFontSize = 12; Zoom = 0; }
public TextEditorConfig WithIndentationMode(IndentationMode indentationMode) { return(new TextEditorConfig( indentation: Indentation, indentationMode: indentationMode, useEditorConfig: UseEditorConfig, showLineNumbers: ShowLineNumbers, showWhitespace: ShowWhitespace, wordWrap: WordWrap, smartIndent: SmartIndent, mainFontName: MainFontName, mainFontSize: MainFontSize, zoom: Zoom )); }
public TextEditorConfig( int indentation, IndentationMode indentationMode, bool useEditorConfig, bool showLineNumbers, bool showWhitespace, bool wordWrap, bool smartIndent, string mainFontName, int mainFontSize, int zoom ) { Indentation = indentation; IndentationMode = indentationMode; UseEditorConfig = useEditorConfig; ShowLineNumbers = showLineNumbers; ShowWhitespace = showWhitespace; WordWrap = wordWrap; SmartIndent = smartIndent; MainFontName = mainFontName; MainFontSize = mainFontSize; Zoom = zoom; }