void BookmarkRemoved(object sender, BookmarkEventArgs e)
 {
     Bookmarks.SDBookmark b = e.Bookmark as Bookmarks.SDBookmark;
     if (b != null)
     {
         Bookmarks.BookmarkManager.RemoveMark(b);
     }
 }
Пример #2
0
 void BookmarkManager_Removed(object sender, BookmarkEventArgs e)
 {
     iconBarManager.Bookmarks.Remove(e.Bookmark);
     if (e.Bookmark.Document == adapter.Document)
     {
         e.Bookmark.Document = null;
     }
 }
Пример #3
0
 void BookmarkManager_Removed(object sender, BookmarkEventArgs e)
 {
     codeEditor.IconBarManager.Bookmarks.Remove(e.Bookmark);
     if (e.Bookmark.Document == codeEditor.DocumentAdapter)
     {
         e.Bookmark.Document = null;
     }
 }
Пример #4
0
 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;
     }
 }
Пример #5
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);
     }
 }
Пример #6
0
        static void BookmarkRemoved(object sender, BookmarkEventArgs e)
        {
            BreakpointBookmark bb = e.Bookmark as BreakpointBookmark;

            if (bb != null)
            {
                OnBreakPointRemoved(new BreakpointBookmarkEventArgs(bb));
            }
        }
Пример #7
0
        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;
            }
        }
Пример #11
0
        void BookmarkManager_Removed(object sender, BookmarkEventArgs e)
        {
            var bpm = e.Bookmark as BreakpointBookmark;

            if (bpm == null)
            {
                return;
            }
            bpm.IsEnabledChanged -= BreakpointBookmark_OnIsEnabledChanged;
            Save();
        }
Пример #12
0
		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);
				}
			}
		}
Пример #13
0
        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);
            }
        }
Пример #14
0
		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);
			}
		}
Пример #15
0
        void BookmarkManager_Removed(object sender, BookmarkEventArgs e)
        {
            var bpm = e.Bookmark as BreakpointBookmark;

            if (bpm == null)
            {
                return;
            }
            bpm.OnModified += BreakpointBookmark_OnModified;
            SetItemSource();
        }
Пример #16
0
 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);
     }
 }
Пример #17
0
 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);
         }
     }
 }
Пример #18
0
        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);
            }
        }
Пример #19
0
        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();
                }
            }
        }
Пример #21
0
        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();
            }
        }
Пример #22
0
        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();
            }
        }
Пример #23
0
        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();
            }
        }
Пример #24
0
 /// <summary>
 /// ブックマークを追加したときのイベント
 /// </summary>
 void BookmarkManager_Added(object sender, BookmarkEventArgs e)
 {
     //リストにブックマークを追加する
     GlobalStatus.FormManager.BookmarkListForm.AddBookmark(e.Bookmark.LineNumber + 1, this.FileName);
 }
Пример #25
0
 void BookmarkManager_Added(object sender, BookmarkEventArgs e)
 {
     CreateMarker(e.Bookmark as MarkerBookmark);
 }
Пример #26
0
 private void OnBookmarkTextChanged(object sender, BookmarkEventArgs e)
 {
     _bookmarkWindow.BookmarkTextChanged(e.Bookmark);
 }
Пример #27
0
        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);
            }
        }
Пример #28
0
 /// <summary>
 /// ブックマークを削除したときのイベント
 /// </summary>
 void BookmarkManager_Removed(object sender, BookmarkEventArgs e)
 {
     //リストからブックマークを削除する
     GlobalStatus.FormManager.BookmarkListForm.RemoveBookmark(e.Bookmark.LineNumber + 1, this.FileName);
 }
Пример #29
0
 void BookmarkManager_Added(object sender, BookmarkEventArgs e)
 {
     textEditorControl.Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.SingleLine, e.Bookmark.LineNumber));
     textEditorControl.Document.CommitUpdate();
 }