Hello, thank you for all the ideas the shortcut and the autohide. Those are all useful workaround and they prove that the problem exists! Nevertheless, I think that the gnome-shell design could be improved to save the vertical space, for example the top bar could become a "lateral bar". Let's imagine!
Donato
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
