|
icon
|
option to switch toolbar icon sets
|
2017-07-09 12:22:44 +03:00 |
|
button.png
|
Custom UI elements (#291)
|
2017-12-08 06:18:47 +03:00 |
|
help.png
|
Move images into a separate directory
|
2017-04-18 12:46:22 +03:00 |
|
world_go.png
|
Move images into a separate directory
|
2017-04-18 12:46:22 +03:00 |
