VadereGui/resources/messages_de_DE.properties · 8962a4431c7bd59e45b050a409180318296879cd · vadere / vadere

Jul 03, 2018
0c20647f
In "TikzGenerator.java", highlight currently selected agent with colored border. · 0c20647f
Benedikt Kleinmeier authored Jul 03, 2018
```
In "PostvisualizationWindow.java", added button to generate TikZ image.
```
0c20647f
In "TikzGenerator.java", highlight currently selected agent with colored border.
Benedikt Kleinmeier authored Jul 03, 2018
```
In "PostvisualizationWindow.java", added button to generate TikZ image.
```