Skip to content

Commit

Permalink
Add TODO note about visual bug
Browse files Browse the repository at this point in the history
  • Loading branch information
FeldrinH committed Dec 9, 2023
1 parent 4fe90b5 commit b688027
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions src/main/java/ee/ut/dendroloj/GraphGUI.java
Original file line number Diff line number Diff line change
Expand Up @@ -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 {" +
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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());
}
Expand Down

0 comments on commit b688027

Please sign in to comment.