Eberhard Graether fa7c8d8b40 ui: use icons in directory list box UI

2015-11-23 14:01:56 +01:00

..

listbox.css

ui: use icons in directory list box UI

2015-11-23 14:01:56 +01:00

minus.png

ui: use icons in directory list box UI

2015-11-23 14:01:56 +01:00

plus.png

ui: use icons in directory list box UI

2015-11-23 14:01:56 +01:00

window.css

logic: random fixes and improvements

2015-10-06 16:21:03 +02:00