arrow color

This commit is contained in:
Tom Nelson
2020-08-28 19:19:55 +00:00
parent 36e9e6dd66
commit 4aba67cfb0
2 changed files with 10 additions and 0 deletions

View File

@@ -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

View File

@@ -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