public void SelectAll() { TextEditorEngine expr_07 = this.editorEngine; if (expr_07 != null) { expr_07.SelectAll(); } }