-
Benedikt Kleinmeier authored
In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects config if elements are visible. Also replaced "tikz_icon.png" by "camera_tikz.png".
27356614
In "TikzGenerator.java", method "convertScenarioElementsToTikz()" respects config if elements are visible. Also replaced "tikz_icon.png" by "camera_tikz.png".