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 Name Job ID Coverage
  Test
passed unit_tests_with_coverage #324358

00:00:51