On Sep 16, 2014 8:53 AM, "Bastien Nocera" <bnocera@redhat.com> wrote:
>
> Did you read this?
> http://blogs.gnome.org/aday/2014/08/27/gnome-design-saving-you-space-since-2009-or-so/
>
Just because it is better than it was doesn't mean there isn't more extraneous space that could be trimmed.