public PythonConsolePad() { textEditor = new TextEditor(); pythonTextEditor = new PythonTextEditor(textEditor); host = new PythonConsoleHost(pythonTextEditor); host.Run(); textEditor.FontFamily = new FontFamily("Consolas"); textEditor.FontSize = 12; }
public PythonConsolePad() { _textEditor = new TextEditor(); _pythonTextEditor = new PythonTextEditor(_textEditor); _host = new PythonConsoleHost(_pythonTextEditor); _host.Run(); _textEditor.FontFamily = new FontFamily("Consolas"); _textEditor.FontSize = 12; }
public PythonConsolePad() { textEditor = new TextEditor(); pythonTextEditor = new PythonTextEditor(textEditor); host = new PythonConsoleHost(pythonTextEditor); host.Run(); textEditor.FontFamily = new FontFamily("Consolas"); textEditor.FontSize = 14; textEditor.HorizontalScrollBarVisibility = ScrollBarVisibility.Visible; textEditor.VerticalScrollBarVisibility = ScrollBarVisibility.Visible; textEditor.WordWrap = true; }