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

In "PostvisualizationWindow.java", added button to generate TikZ image.
1 job for group_models in 51 seconds
Status Job ID Name Coverage
  Test
passed #324358
unit_tests_with_coverage

00:00:51