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);
}
}
