Commit 0c20647f authored by Benedikt Kleinmeier's avatar Benedikt Kleinmeier

In "TikzGenerator.java", highlight currently selected agent with colored border.

In "PostvisualizationWindow.java", added button to generate TikZ image.
parent 15699d73
Pipeline #59686 passed with stage
in 51 seconds