GP-1139: minor improvement

This commit is contained in:
d-millar 2021-07-15 17:21:01 -04:00
parent 0dba2212a0
commit bc5ae853f5

View File

@ -89,7 +89,7 @@ public interface DebuggerResources {
ImageIcon ICON_SNAP_BACKWARD = ResourceManager.loadImage("images/2leftarrow.png");
ImageIcon ICON_SEEK_PRESENT = ICON_RESUME;
boolean altIcons = Boolean.parseBoolean(System.getProperty("debugger.breakpoints.alt.icons"));
boolean altIcons = Boolean.getBoolean("debugger.breakpoints.alt.icons");
ImageIcon ICON_SET_BREAKPOINT =
altIcons ? ResourceManager.loadImage("images/alt-breakpoint-set.png")