public ExtensibleTextEditor(SourceEditorView view, ISourceEditorOptions options, Mono.TextEditor.TextDocument doc) : base(doc, options) { Initialize(view); }
public SourceEditorWidget (SourceEditorView view) { this.view = view; vbox.SetSizeRequest (32, 32); this.lastActiveEditor = this.textEditor = new MonoDevelop.SourceEditor.ExtensibleTextEditor (view); mainsw = new DecoratedScrolledWindow (this); this.textEditorContainer = new TextEditorContainer (textEditor); mainsw.SetTextEditor (textEditorContainer); vbox.PackStart (mainsw, true, true, 0); this.textEditor.Errors = errors; options = this.textEditor.Options; textEditorData = textEditor.GetTextEditorData (); ResetFocusChain (); UpdateLineCol (); // this.IsClassBrowserVisible = this.widget.TextEditor.Options.EnableQuickFinder; vbox.BorderWidth = 0; vbox.Spacing = 0; vbox.Focused += delegate { UpdateLineCol (); }; vbox.Destroyed += delegate { isDisposed = true; StopParseInfoThread (); KillWidgets (); this.textEditor = null; this.lastActiveEditor = null; this.splittedTextEditor = null; view = null; IdeApp.Workbench.StatusBar.ClearCaretState (); if (parseInformationUpdaterWorkerThread != null) { parseInformationUpdaterWorkerThread.Dispose (); parseInformationUpdaterWorkerThread = null; } }; vbox.ShowAll (); parseInformationUpdaterWorkerThread = new BackgroundWorker (); parseInformationUpdaterWorkerThread.WorkerSupportsCancellation = true; parseInformationUpdaterWorkerThread.DoWork += HandleParseInformationUpdaterWorkerThreadDoWork; }
public ExtensibleTextEditor (SourceEditorView view, ISourceEditorOptions options, Mono.TextEditor.Document doc) : base(doc, options) { Initialize (view); }
public SourceEditorWidget (SourceEditorView view) { this.view = view; vbox.SetSizeRequest (32, 32); this.lastActiveEditor = this.textEditor = new MonoDevelop.SourceEditor.ExtensibleTextEditor (view); mainsw = new DecoratedScrolledWindow (this); this.textEditorContainer = new TextEditorContainer (textEditor); mainsw.SetTextEditor (textEditorContainer); vbox.PackStart (mainsw, true, true, 0); this.textEditor.Errors = errors; options = this.textEditor.Options; textEditorData = textEditor.GetTextEditorData (); ResetFocusChain (); UpdateLineCol (); ProjectDomService.ParsedDocumentUpdated += OnParseInformationChanged; // this.IsClassBrowserVisible = this.widget.TextEditor.Options.EnableQuickFinder; vbox.BorderWidth = 0; vbox.Spacing = 0; vbox.Focused += delegate { UpdateLineCol (); }; vbox.Destroyed += delegate { isDisposed = true; StopParseInfoThread (); KillWidgets (); this.textEditor = null; this.lastActiveEditor = null; this.splittedTextEditor = null; view = null; ProjectDomService.ParsedDocumentUpdated -= OnParseInformationChanged; IdeApp.Workbench.StatusBar.ClearCaretState (); }; vbox.ShowAll (); }