GP-2294: Highlight PC with higher priority than breakpoints.

This commit is contained in:
Dan 2022-07-12 16:16:08 -04:00
parent cf63740630
commit 53b540fc09

View file

@ -495,7 +495,8 @@ public class DebuggerListingProvider extends CodeViewerProvider {
if (markerService != null && markedAddress != null) {
trackingMarker = markerService.createPointMarker("Tracked Register",
"An address stored by a trace register, mapped to a static program", markedProgram,
0, true, true, true, trackingColor, ICON_REGISTER_MARKER, true);
MarkerService.HIGHLIGHT_PRIORITY + 1, true, true, true, trackingColor,
ICON_REGISTER_MARKER, true);
trackingMarker.add(markedAddress);
}
}