public void RefreshBreakpointHighlightings()
{
// Clear old markers
foreach (var marker in MarkerStrategy.TextMarkers.ToArray())
{
if (marker is BreakpointMarker)
{
marker.Delete();
}
}
var bps = CoreManager.BreakpointManagement.GetBreakpointsAt(AbsoluteFilePath);
if (bps != null)
{
foreach (var bpw in bps)
{
var m = new BreakpointMarker(this, bpw);
MarkerStrategy.Add(m);
m.Redraw();
}
}
}
public void RefreshBreakpointHighlightings()
{
// Clear old markers
foreach (var marker in MarkerStrategy.TextMarkers.ToArray())
if (marker is BreakpointMarker)
marker.Delete();
var bps = CoreManager.BreakpointManagement.GetBreakpointsAt(AbsoluteFilePath);
if(bps!=null)
foreach (var bpw in bps)
{
var m = new BreakpointMarker(this, bpw);
MarkerStrategy.Add(m);
m.Redraw();
}
}
