-
Carlos Garcia Campos authored
This makes the buttons small again after whatever changed in gnome-themes-standard. Based on patch by Yosef Or Boczko. https://bugzilla.gnome.org/show_bug.cgi?id=709005
ba65b427
This makes the buttons small again after whatever changed in gnome-themes-standard. Based on patch by Yosef Or Boczko. https://bugzilla.gnome.org/show_bug.cgi?id=709005