Timm Bäder d8f6b12685 tooltip: Remove excessive padding ... tooltips support padding now, just like everthing else.		2018-01-12 22:34:22 +01:00
..
Adwaita	tooltip: Remove excessive padding	2018-01-12 22:34:22 +01:00
HighContrast	themes: missing specificity bump on expander arrow	2018-01-01 21:22:23 +00:00
win32	win32 theme: Fix tooltip borders	2016-10-26 16:25:49 +02:00