diff --git a/Ghidra/Features/GraphServices/src/main/java/ghidra/graph/visualization/DefaultGraphDisplay.java b/Ghidra/Features/GraphServices/src/main/java/ghidra/graph/visualization/DefaultGraphDisplay.java index 31b61bb5bb..bd9479d473 100644 --- a/Ghidra/Features/GraphServices/src/main/java/ghidra/graph/visualization/DefaultGraphDisplay.java +++ b/Ghidra/Features/GraphServices/src/main/java/ghidra/graph/visualization/DefaultGraphDisplay.java @@ -993,6 +993,12 @@ public class DefaultGraphDisplay implements GraphDisplay { renderContext.setEdgeDrawPaintFunction( e -> renderContext.getSelectedEdgeState().isSelected(e) ? Color.red : Colors.getColor(e)); + renderContext.setArrowDrawPaintFunction( + e -> renderContext.getSelectedEdgeState().isSelected(e) ? Color.red + : Colors.getColor(e)); + renderContext.setArrowFillPaintFunction( + e -> renderContext.getSelectedEdgeState().isSelected(e) ? Color.red + : Colors.getColor(e)); vv.setToolTipText(""); // assign the shapes to the modal renderer diff --git a/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties b/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties index b01edef8a3..5508b4d905 100644 --- a/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties +++ b/Ghidra/Features/GraphServices/src/main/resources/jungrapht.properties @@ -12,6 +12,10 @@ jungrapht.modalRendererTimerSleep=30 jungrapht.satelliteBackgroundTransparent=false jungrapht.satelliteLensColor= 0xFAFAFA +jungrapht.pickedEdgeColor=0xFF0000 +jungrapht.edgeArrowLength=30 +jungrapht.edgeArrowWidth=20 + # default spacing for tree layouts jungrapht.treeLayoutHorizontalSpacing=2 jungrapht.treeLayoutVerticalSpacing=2