private void BreakpointAdded(object sender, BookmarkEventArgs e) { if (e.Bookmark is Breakpoint) { Breakpoint b = e.Bookmark as Breakpoint; WriteDebugLine(String.Format("Breakpoint added: {0}:{1}", b.filename, b.LineNumber)); _breakpointMgr.Record(b, BreakpointState.Added); } }