Miodrag Milanovic 3e95c57317 Add SVG option to gui

2020-02-27 09:37:09 +01:00

..

bel.png

…

camera.png

…

control_pause.png

…

control_play.png

…

control_stop.png

…

cross.png

…

exit.png

…

film.png

…

group.png

…

new.png

…

open_json.png

…

open.png

…

pack.png

…

pip.png

…

place.png

…

py.png

…

resultset_first.png

…

resultset_last.png

…

resultset_next.png

…

resultset_previous.png

…

route.png

…

save_json.png

…

save_svg.png

Add SVG option to gui

2020-02-27 09:37:09 +01:00

save.png

…

shape_handles.png

…

shape_square.png

…

time_add.png

…

wire.png

…

zoom_in.png

…

zoom_out.png

…

zoom.png

…