public override void OptionsChanged() { base.OptionsChanged(); SharpDevelopTextEditorProperties sdtep = base.TextEditorProperties as SharpDevelopTextEditorProperties; if (sdtep != null) { if (!sdtep.ShowQuickClassBrowserPanel) { RemoveQuickClassBrowserPanel(); } else { ActivateQuickClassBrowserOnDemand(); } if (sdtep.UnderlineErrors) { if (errorDrawer == null) { errorDrawer = new ErrorDrawer(this); } } else { if (errorDrawer != null) { errorDrawer.Dispose(); errorDrawer = null; } } } }
protected override void Dispose(bool disposing) { base.Dispose(disposing); if (disposing) { if (errorDrawer != null) { errorDrawer.Dispose(); errorDrawer = null; } if (quickClassBrowserPanel != null) { quickClassBrowserPanel.Dispose(); quickClassBrowserPanel = null; } if (customQuickClassBrowserPanel != null) { customQuickClassBrowserPanel.Dispose(); customQuickClassBrowserPanel = null; } if (advancedHighlighter != null) { advancedHighlighter.Dispose(); advancedHighlighter = null; } CloseCodeCompletionWindow(this, EventArgs.Empty); CloseInsightWindow(this, EventArgs.Empty); } }
public SharpDevelopTextAreaControl() { errorDrawer = new ErrorDrawer(this); Document.FoldingManager.FoldingStrategy = new ICSharpCode.SharpDevelop.DefaultEditor.Gui.Editor.ParserFoldingStrategy(); Document.BookmarkManager.Factory = new Bookmarks.SDBookmarkFactory(Document.BookmarkManager); Document.BookmarkManager.Added += new BookmarkEventHandler(BookmarkAdded); Document.BookmarkManager.Removed += new BookmarkEventHandler(BookmarkRemoved); GenerateEditActions(); TextEditorProperties = new SharpDevelopTextEditorProperties(); }