garak 9375fd580c fix menu bar in themes ... - remove sticky highlighting of the menu bar items - add menu checkboxes, finesse highlighting		2019-09-21 12:27:05 -05:00
..
icons	add icon attribution	2019-09-21 12:27:05 -05:00
images	add dialog to add tilesets	2019-03-24 15:55:40 -05:00
themes	fix menu bar in themes	2019-09-21 12:27:05 -05:00
images.qrc	update theme checkboxes, remove novelty themes	2019-09-21 12:27:05 -05:00
themes.qrc	update theme checkboxes, remove novelty themes	2019-09-21 12:27:05 -05:00