private void InitializeEditor() { Editor = new CodeCompletionTextEditor { ShowLineNumbers = true, FontFamily = new FontFamily("Consolas"), FontSize = (double)(new FontSizeConverter().ConvertFrom("10pt") ?? 10.0), }; Editor.KeyUp += (sender, args) => { if (_textChangedTimer.IsEnabled) { _textChangedTimer.Stop(); } _textChangedTimer.Start(); }; Content = Editor; }
public CodeCompletionEditorAdapter(CodeCompletionTextEditor textEditor) : base(textEditor) { this.textEditor = textEditor; }
private void InitializeEditor() { Editor = new CodeCompletionTextEditor { ShowLineNumbers = true, FontFamily = new FontFamily("Consolas"), FontSize = (double)(new FontSizeConverter().ConvertFrom("10pt") ?? 10.0), }; Editor.KeyUp += (sender, args) => { if (_textChangedTimer.IsEnabled) _textChangedTimer.Stop(); _textChangedTimer.Start(); }; Content = Editor; }