void BookmarkRemoved(object sender, BookmarkEventArgs e) { Bookmarks.SDBookmark b = e.Bookmark as Bookmarks.SDBookmark; if (b != null) { Bookmarks.BookmarkManager.RemoveMark(b); } }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { iconBarManager.Bookmarks.Remove(e.Bookmark); if (e.Bookmark.Document == adapter.Document) { e.Bookmark.Document = null; } }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { codeEditor.IconBarManager.Bookmarks.Remove(e.Bookmark); if (e.Bookmark.Document == codeEditor.DocumentAdapter) { e.Bookmark.Document = null; } }
void BookmarkManager_Added(object sender, BookmarkEventArgs e) { if (FileUtility.IsEqualFileName(this.PrimaryFileName, e.Bookmark.FileName)) { codeEditor.IconBarManager.Bookmarks.Add(e.Bookmark); e.Bookmark.Document = codeEditor.DocumentAdapter; } }
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); } }
static void BookmarkRemoved(object sender, BookmarkEventArgs e) { BreakpointBookmark bb = e.Bookmark as BreakpointBookmark; if (bb != null) { OnBreakPointRemoved(new BreakpointBookmarkEventArgs(bb)); } }
static void BookmarkAdded(object sender, BookmarkEventArgs e) { BreakpointBookmark bb = e.Bookmark as BreakpointBookmark; if (bb != null) { bb.LineNumberChanged += BookmarkChanged; OnBreakPointAdded(new BreakpointBookmarkEventArgs(bb)); } }
void BookmarkManager_Added(object sender, BookmarkEventArgs e) { var mark = e.Bookmark; if (mark != null && mark.FileName == PrimaryFileName) { codeEditor.IconBarManager.Bookmarks.Add(mark); mark.Document = this.codeEditor.Document; } }
void BookmarkManager_Added(object sender, BookmarkEventArgs e) { var mark = e.Bookmark; if (mark != null && mark is BreakpointBookmark && mark.FileName == this.codeView.TextEditor.FileName) { codeView.IconBarManager.Bookmarks.Add(mark); mark.Document = this.codeView.TextEditor.Document; } }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { var mark = e.Bookmark; if (mark != null && codeView.IconBarManager.Bookmarks.Contains(mark)) { codeView.IconBarManager.Bookmarks.Remove(mark); mark.Document = null; } }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { var bpm = e.Bookmark as BreakpointBookmark; if (bpm == null) { return; } bpm.IsEnabledChanged -= BreakpointBookmark_OnIsEnabledChanged; Save(); }
void BookmarkManager_Added(object sender, BookmarkEventArgs e) { if (e.Bookmark is MarkerBookmark) { var bm = (MarkerBookmark)e.Bookmark; // add bookmark for the current type if (bm.LineNumber < codeEditor.Document.LineCount) { DocumentLine line = codeEditor.Document.GetLineByNumber(bm.LineNumber); bm.CreateMarker(this, line.Offset, line.Length); } } }
void bm_Removed(object sender, BookmarkEventArgs e) { int lineNr = e.Bookmark.LineNumber + 1; if (this.currentFile.Breakpoints.ContainsKey(lineNr)) { Breakpoint bp = this.currentFile.Breakpoints[lineNr]; this.debugEngine.RemoveBreakpoint(bp); this.currentFile.Breakpoints.Remove(lineNr); } }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { if (e.Bookmark is BreakpointBookmark) { var bm = (MarkerBookmark)e.Bookmark; Remove(bm.Marker); } if (e.Bookmark is CurrentLineBookmark) { RemoveAll(m => m.Bookmark is CurrentLineBookmark); } }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { var bpm = e.Bookmark as BreakpointBookmark; if (bpm == null) { return; } bpm.OnModified += BreakpointBookmark_OnModified; SetItemSource(); }
void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { if (e.Bookmark is MarkerBookmark) { var mbm = (MarkerBookmark)e.Bookmark; ITextMarker marker; if (mbm.Markers.TryGetValue(this, out marker)) { Remove(marker); } mbm.Markers.Remove(this); } }
private void BookmarkRemoved(object sender, BookmarkEventArgs e) { var par = GetNode(app.Document()); if (par != null) { var cn = par.Nodes.OfType <TreeNode>().FirstOrDefault(n => (Int32)n.Tag == e.Line); if (cn != null) { par.Nodes.Remove(cn); } } }
void OnBookmarkRemoved(object sender, BookmarkEventArgs e) { // if the bookmark was removed from pressing the button, return if (this.PinCloseControl.IsChecked) { return; } if (e.Bookmark is PinBookmark) { var pin = (PinBookmark)e.Bookmark; if (pin.Location == Mark.Location && pin.FileName == Mark.FileName) { Close(); } } }
public void OnBookmarkRemoved(object sender, BookmarkEventArgs args) { var breakpoint = args.Bookmark as BreakpointBookmark; if (null == breakpoint) { return; } var storage = DebugInformation.CodeMappings; if (storage == null || storage.Count == 0) { return; } var key = breakpoint.MemberReference.MetadataToken.ToInt32(); if (storage.ContainsKey(key)) { breakpoint.ImageChanged -= delegate { InvalidateVisual(); }; InvalidateVisual(); } }
public void OnBookmarkRemoved(object sender, BookmarkEventArgs args) { var breakpoint = args.Bookmark as BreakpointBookmark; if (null == breakpoint) { return; } breakpoint.ImageChanged -= breakpoint_ImageChanged; var storage = decompilerTextView.CodeMappings; if (storage == null || storage.Count == 0) { return; } var key = MethodKey.Create(breakpoint.MemberReference); if (key != null && storage.ContainsKey(key.Value)) { InvalidateVisual(); } }
public void OnBookmarkAdded(object sender, BookmarkEventArgs args) { var breakpoint = args.Bookmark as BreakpointBookmark; if (null == breakpoint) { return; } var storage = DebugInformation.CodeMappings; if (storage == null || storage.Count == 0) { return; } var key = breakpoint.MemberReference.MDToken.ToInt32(); if (storage.ContainsKey(key)) { // register to show enabled/disabled state breakpoint.ImageChanged += delegate { InvalidateVisual(); }; InvalidateVisual(); } }
/// <summary> /// ブックマークを追加したときのイベント /// </summary> void BookmarkManager_Added(object sender, BookmarkEventArgs e) { //リストにブックマークを追加する GlobalStatus.FormManager.BookmarkListForm.AddBookmark(e.Bookmark.LineNumber + 1, this.FileName); }
void BookmarkManager_Added(object sender, BookmarkEventArgs e) { CreateMarker(e.Bookmark as MarkerBookmark); }
private void OnBookmarkTextChanged(object sender, BookmarkEventArgs e) { _bookmarkWindow.BookmarkTextChanged(e.Bookmark); }
private void BookmarkRemoved(object sender, BookmarkEventArgs e) { var par = GetNode(app.Document()); if (par != null) { var cn = par.Nodes.OfType<TreeNode>().FirstOrDefault(n => (Int32)n.Tag == e.Line); if (cn != null) par.Nodes.Remove(cn); } }
/// <summary> /// ブックマークを削除したときのイベント /// </summary> void BookmarkManager_Removed(object sender, BookmarkEventArgs e) { //リストからブックマークを削除する GlobalStatus.FormManager.BookmarkListForm.RemoveBookmark(e.Bookmark.LineNumber + 1, this.FileName); }
void BookmarkManager_Added(object sender, BookmarkEventArgs e) { textEditorControl.Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.SingleLine, e.Bookmark.LineNumber)); textEditorControl.Document.CommitUpdate(); }