Le 19/11/2011 10:34, Donato Marrazzo a écrit : > > On Fri, Nov 18, 2011 at 11:46 PM, Malcolm <[email protected] > <mailto:[email protected]>> wrote: > > Hi > Have you tried the F11 key, that's what I use on my netbook? > > -- > > Good hint even if it works with some apps, but I think that something > could be done to save space in general. > > Thanks
Hi, Is'nt this extension what you are looking for ? http://www.webupd8.org/2011/11/autohide-top-bar-extension-finally.html Regards, _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
