To me this makes things perfect:
sed -i "/title_vertical_pad/s/value=\"[0-9]\{1,2\}\"/value=\"0\"/g"
/usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xmlIf anyone's interested.
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
