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