Example #1
0
 protected virtual void OnRemoved(BookmarkEventArgs e)
 {
     if (Removed != null)
     {
         Removed(this, e);
     }
 }
Example #2
0
 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);
			}
		}
Example #4
0
 /// <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);
     }
 }
Example #5
0
        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();
        }
Example #6
0
 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);
 }
 protected virtual void OnRemoved(BookmarkEventArgs e)
 {
     if (Removed != null) {
         Removed(this, e);
     }
 }
 protected virtual void OnAdded(BookmarkEventArgs e)
 {
     if (Added != null) {
         Added(this, e);
     }
 }
Example #11
0
 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);
     }
 }