From b6880271e217782e1b586b760694296adfb49103 Mon Sep 17 00:00:00 2001 From: Juhan Oskar Hennoste Date: Sat, 9 Dec 2023 19:36:12 +0200 Subject: [PATCH] Add TODO note about visual bug --- src/main/java/ee/ut/dendroloj/GraphGUI.java | 1 + .../java/org/graphstream/ui/swing/renderer/shape/Connector.java | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main/java/ee/ut/dendroloj/GraphGUI.java b/src/main/java/ee/ut/dendroloj/GraphGUI.java index dc9ea1c..08606cc 100644 --- a/src/main/java/ee/ut/dendroloj/GraphGUI.java +++ b/src/main/java/ee/ut/dendroloj/GraphGUI.java @@ -26,6 +26,7 @@ public static boolean isHeadless() { public static void initGenericGUI(double uiScale, Graph graph, Layout layout) { // TODO: Fix edge labels overlapping if there are multiple edges. + // TODO: Fix arrows appearing outside the edge if the edge is straight and fully inside the node. graph.setAttribute("ui.stylesheet", String.format(Locale.ROOT, "edge {" + diff --git a/src/main/java/org/graphstream/ui/swing/renderer/shape/Connector.java b/src/main/java/org/graphstream/ui/swing/renderer/shape/Connector.java index 0503ad1..607746b 100644 --- a/src/main/java/org/graphstream/ui/swing/renderer/shape/Connector.java +++ b/src/main/java/org/graphstream/ui/swing/renderer/shape/Connector.java @@ -136,7 +136,7 @@ public void configureConnectorForElement(DefaultCamera2D camera, GraphicEdge ele skel.setPoly(element.getAttribute("ui.points")); } else { // DENDROLOJ EDIT: - // Disabled multi-edge rendering for edges that are marked with ui._collapse. + // Disable multi-edge rendering for edges that are marked with ui._collapse. positionForLinesAndCurves(skel, element.from.getStyle(), element.from, element.to, element.multi, element.hasAttribute("ui._collapse") ? null : element.getGroup()); }