Miodrag Milanovic 3e95c57317 Add SVG option to gui

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

..

bel.png

Add options to enable/disable displayed elements

2019-12-20 15:25:10 +01:00

camera.png

Enable screenshot and recording feature

2020-01-05 13:51:12 +01:00

control_pause.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

control_play.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

control_stop.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

cross.png

added clear action for browsing history

2018-07-18 17:33:04 +02:00

exit.png

Initial GUI work

2018-06-05 21:03:06 +02:00

film.png

Enable screenshot and recording feature

2020-01-05 13:51:12 +01:00

group.png

Add options to enable/disable displayed elements

2019-12-20 15:25:10 +01:00

new.png

Initial GUI work

2018-06-05 21:03:06 +02:00

open_json.png

Added image generator and regenerate icons

2018-11-03 10:02:53 +01:00

open.png

Initial GUI work

2018-06-05 21:03:06 +02:00

pack.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

pip.png

Add options to enable/disable displayed elements

2019-12-20 15:25:10 +01:00

place.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

py.png

Add GUI for executing python file

2018-12-14 17:20:25 +01:00

resultset_first.png

GUI preparation for search and browse history

2018-07-11 16:20:33 +02:00

resultset_last.png

GUI preparation for search and browse history

2018-07-11 16:20:33 +02:00

resultset_next.png

GUI preparation for search and browse history

2018-07-11 16:20:33 +02:00

resultset_previous.png

GUI preparation for search and browse history

2018-07-11 16:20:33 +02:00

route.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

save_json.png

gui for json write and proper statuses

2019-06-14 11:14:18 +02:00

save_svg.png

Add SVG option to gui

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

save.png

Initial GUI work

2018-06-05 21:03:06 +02:00

shape_handles.png

added buttons for new zoom operations

2018-07-26 13:21:46 +02:00

shape_square.png

added buttons for new zoom operations

2018-07-26 13:21:46 +02:00

time_add.png

Move generic resources to top level

2018-08-02 17:48:02 +02:00

wire.png

Add options to enable/disable displayed elements

2019-12-20 15:25:10 +01:00

zoom_in.png

added buttons for new zoom operations

2018-07-26 13:21:46 +02:00

zoom_out.png

added buttons for new zoom operations

2018-07-26 13:21:46 +02:00

zoom.png

GUI preparation for search and browse history

2018-07-11 16:20:33 +02:00