3 ms·

I just replied to this on Ask Ubuntu (including screenshots). You can reduce the padding a bit with a .gtkrc file and/or custom GTK themes. This and some font-t

by eccp 14y ago

I just replied to this on Ask Ubuntu (including screenshots). You can reduce the padding a bit with a .gtkrc file and/or custom GTK themes. This and some font-tweaking on the same file should be good enough.