Lapo Calamandrei 30a7264865 adwaita: Remove menu margins ... menu margins have been added has a hack to mitigate bug: https://bugzilla.gnome.org/show_bug.cgi?id=591258 with gtk+4 this doesn't work anymore on gtk+4, the margin should probably be moved to the parent window node, but it's not selectable, commenting out for now.		2017-08-11 15:07:13 +02:00
..
Adwaita	adwaita: Remove menu margins	2017-08-11 15:07:13 +02:00
HighContrast	meson: Rebuild the SCSS-based themes if sassc is available	2017-06-01 14:56:32 +01:00
win32	win32 theme: Fix tooltip borders	2016-10-26 16:25:49 +02:00