Marco Martin ce85b64a7e touch specific tool button ... on touch when a tool button doesn't have text and isn't flat, make it round		2011-11-21 17:14:44 +01:00
..
touch	touch specific tool button	2011-11-21 17:14:44 +01:00