| .. |
|
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.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 |
|
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.png
|
Initial GUI work
|
2018-06-05 21:03:06 +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 |
|
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.png
|
GUI preparation for search and browse history
|
2018-07-11 16:20:33 +02: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 |
3e95c57317
