| commit | d5a969061d8ff2980fb66d4de572cb86ae6b744c | |
| author | Morten Welinder <terra@gnome.org> | |
| Wed, 9 May 2018 15:14:45 +0000 (9 11:14 -0400) | ||
| committer | Morten Welinder <terra@gnome.org> | |
| Wed, 9 May 2018 15:16:48 +0000 (9 11:16 -0400) | ||
| tree | 6af0a12da0c52866b0183aa4f62ac60e2407d519 | treesnapshot (tar.gz zip) |
| parent | 7687f1aa4521e46d374c816aaed11fc8cb19703e | commitdiff |
GUI: reduce vertical size of the toolbar area
Less padding -- vertical space is precious.
Less padding -- vertical space is precious.
| src/gnumeric.css | diffblobblamehistory | |
| src/wbc-gtk.c | diffblobblamehistory |