protected static List<Bookmark> GetBookmarks(IBookmarkMargin bookmarkMargin) { return (from b in bookmarkMargin.Bookmarks.OfType<Bookmark>() where b.CanToggle orderby b.LineNumber select b).ToList(); }
protected static List <Bookmark> GetBookmarks(IBookmarkMargin bookmarkMargin) { return((from b in bookmarkMargin.Bookmarks.OfType <Bookmark>() where b.CanToggle orderby b.LineNumber select b).ToList()); }
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { int lineNumber = editor.Caret.Line; if (!SD.BookmarkManager.RemoveBookmarkAt(editor.FileName, lineNumber, b => b is Bookmark)) { SD.BookmarkManager.AddMark(new Bookmark(), editor.Document, lineNumber); } }
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { var bookmarks = (from b in bookmarkMargin.Bookmarks.OfType<Bookmark>() where b.CanToggle select b).ToList(); foreach (SDBookmark b in bookmarks) SD.BookmarkManager.RemoveMark(b); }
public IconBarMargin(IBookmarkMargin manager) { if (manager == null) { throw new ArgumentNullException("manager"); } this.manager = manager; }
public IconBarMargin(IBookmarkMargin manager) { if (manager == null) { throw new ArgumentNullException("manager"); } _manager = manager; }
public IconBarMargin(IBookmarkMargin manager) { if (manager == null) throw new ArgumentNullException("manager"); this.manager = manager; this.hoverLogic = new MouseHoverLogic(this); this.hoverLogic.MouseHover += (sender, e) => MouseHover(this, e); this.hoverLogic.MouseHoverStopped += (sender, e) => MouseHoverStopped(this, e); this.Unloaded += OnUnloaded; }
protected virtual void RemoveMark() { if (document != null) { IBookmarkMargin bookmarkMargin = document.GetService(typeof(IBookmarkMargin)) as IBookmarkMargin; if (bookmarkMargin != null) { bookmarkMargin.Bookmarks.Remove(this); } } }
protected virtual void Redraw() { if (document != null) { IBookmarkMargin bookmarkMargin = document.GetService(typeof(IBookmarkMargin)) as IBookmarkMargin; if (bookmarkMargin != null) { bookmarkMargin.Redraw(); } } }
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { var bookmarks = (from b in bookmarkMargin.Bookmarks.OfType <Bookmark>() where b.CanToggle select b).ToList(); foreach (SDBookmark b in bookmarks) { BookmarkManager.RemoveMark(b); } }
public IconBarMargin(IBookmarkMargin manager) { if (manager == null) { throw new ArgumentNullException("manager"); } this.manager = manager; this.hoverLogic = new MouseHoverLogic(this); this.hoverLogic.MouseHover += (sender, e) => MouseHover(this, e); this.hoverLogic.MouseHoverStopped += (sender, e) => MouseHoverStopped(this, e); this.Unloaded += OnUnloaded; }
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { int line = editor.Caret.Line; var bookmarks = GetBookmarks(bookmarkMargin); var bookmark = bookmarks.FirstOrDefault(b => b.LineNumber > line); if (bookmark == null && bookmarks.Count > 0) { bookmark = bookmarks[0]; // jump around to first bookmark } if (bookmark != null) { SD.FileService.JumpToFilePosition(bookmark.FileName, bookmark.LineNumber, bookmark.ColumnNumber); } }
public override void Run() { ITextEditor editor = SD.GetActiveViewContentService <ITextEditor>(); if (editor != null) { IBookmarkMargin margin = editor.GetService(typeof(IBookmarkMargin)) as IBookmarkMargin; if (editor != null && margin != null) { Run(editor, margin); } } }
public override void Run() { ITextEditorProvider provider = WorkbenchSingleton.Workbench.ActiveViewContent as ITextEditorProvider; if (provider != null) { ITextEditor editor = provider.TextEditor; IBookmarkMargin margin = editor.GetService(typeof(IBookmarkMargin)) as IBookmarkMargin; if (editor != null && margin != null) { Run(editor, margin); } } }
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { int line = editor.Caret.Line; var bookmarks = GetBookmarks(bookmarkMargin); var bookmark = bookmarks.FirstOrDefault(b => b.LineNumber > line); if (bookmark == null && bookmarks.Count > 0) { bookmark = bookmarks[0]; // jump around to first bookmark } if (bookmark != null) { FileService.JumpToFilePosition(bookmark.FileName, bookmark.LineNumber, bookmark.ColumnNumber); } }
protected abstract void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin);
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { BookmarkManager.ToggleBookmark(editor, editor.Caret.Line, b => b.CanToggle && b.GetType() == typeof(Bookmark), location => new Bookmark(editor.FileName, location)); }
protected override void Run(ITextEditor editor, IBookmarkMargin bookmarkMargin) { BookmarkManager.ToggleBookmark(editor, editor.Caret.Line, b => b.CanToggle && b.GetType() == typeof(SDBookmark), location => new SDBookmark(editor.FileName, location)); }
internal Breakpoint(int _line, IBookmarkMargin _manager) : base(new TextLocation(_line, 1)) { Manager = _manager; }