Re: Please save vertical space!

[Arun <codito codito in>]

On Sat, Nov 19, 2011 at 10:34:26AM +0100, Donato Marrazzo wrote:
> On Fri, Nov 18, 2011 at 11:46 PM, Malcolm <malcolm_lewis bellsouth net>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.

Donato, I believe Malcolm was mentioning about the general gnome
keyboard shortcut. You should be able to configure it in System
Settings -> Keyboard -> Shortcuts -> Windows (2nd setting in the
list).

I have it mapped to Alt+F11, not to interfere with F11 shortcut in
other apps (like firefox etc.). It hides the gnome-shell topbar
and the window decoration :)

--
Arun