David Capello d8b95c30e8 Add option to disable double-click to select a grid tile (fix #1901)		2018-11-15 19:17:19 -03:00
..
extensions	Remove unused pal_edit theme part/slice	2018-11-15 12:14:16 -03:00
fonts
icons
palettes
strings	Add option to disable double-click to select a grid tile (fix #1901)	2018-11-15 19:17:19 -03:00
widgets	Add option to disable double-click to select a grid tile (fix #1901)	2018-11-15 19:17:19 -03:00
convmatr.def
gui.xml	Add "intersect" selection mode	2018-10-26 14:04:08 -03:00
pref.xml	Add option to disable double-click to select a grid tile (fix #1901)	2018-11-15 19:17:19 -03:00