Exemple #1
0
 public PythonConsolePad()
 {
     textEditor = new TextEditor();
     pythonTextEditor = new PythonTextEditor(textEditor);
     host = new PythonConsoleHost(pythonTextEditor);
     host.Run();
     textEditor.FontFamily = new FontFamily("Consolas");
     textEditor.FontSize = 12;
 }
Exemple #2
0
 public PythonConsolePad()
 {
     _textEditor       = new TextEditor();
     _pythonTextEditor = new PythonTextEditor(_textEditor);
     _host             = new PythonConsoleHost(_pythonTextEditor);
     _host.Run();
     _textEditor.FontFamily = new FontFamily("Consolas");
     _textEditor.FontSize   = 12;
 }
Exemple #3
0
 public PythonConsolePad()
 {
     textEditor       = new TextEditor();
     pythonTextEditor = new PythonTextEditor(textEditor);
     host             = new PythonConsoleHost(pythonTextEditor);
     host.Run();
     textEditor.FontFamily = new FontFamily("Consolas");
     textEditor.FontSize   = 12;
 }
Exemple #4
0
 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;
 }