protected virtual void OnRemoved(BookmarkEventArgs e) { if (Removed != null) { Removed(this, e); } }
protected virtual void OnAdded(BookmarkEventArgs e) { if (Added != null) { Added(this, e); } }
void BookmarkRemoved(object sender, BookmarkEventArgs e) { Bookmarks.SDBookmark b = e.Bookmark as Bookmarks.SDBookmark; if (b != null) { Bookmarks.BookmarkManager.RemoveMark(b); } }
/// <summary> /// Have to add the bookmark to the BookmarkManager otherwise the bookmark is /// not remembered when re-opening the file and does not show in the /// bookmark manager. /// </summary> void BookmarkAdded(object sender, ICSharpCode.TextEditor.Document.BookmarkEventArgs e) { ICSharpCode.SharpDevelop.Bookmarks.SDBookmark b = e.Bookmark as ICSharpCode.SharpDevelop.Bookmarks.SDBookmark; if (b != null) { ICSharpCode.SharpDevelop.Bookmarks.BookmarkManager.AddMark(b); } }
void OnBookmarkRemoved(object sender, ICSharpCode.TextEditor.Document.BookmarkEventArgs e) { this.textEditor.Document.CustomLineManager.RemoveCustomLine(e.Bookmark.LineNumber); this.textEditor.Document.RequestUpdate( new ICSharpCode.TextEditor.TextAreaUpdate( ICSharpCode.TextEditor.TextAreaUpdateType.SingleLine, e.Bookmark.LineNumber ) ); this.textEditor.Document.CommitUpdate(); }
void OnBookmarkAdded(object sender, ICSharpCode.TextEditor.Document.BookmarkEventArgs e) { }
protected virtual void OnAdded(BookmarkEventArgs e) { Added?.Invoke(this, e); }
protected virtual void OnRemoved(BookmarkEventArgs e) { Removed?.Invoke(this, e); }
private void BreakpointRemoved(object sender, BookmarkEventArgs e) { if (e.Bookmark is Breakpoint) { Breakpoint b = e.Bookmark as Breakpoint; WriteDebugLine(String.Format("Breakpoint removed: {0}:{1}", b.filename, b.LineNumber)); _breakpointMgr.Record(b, BreakpointState.Removed); } }