Barra de menús de GNOME

Pues que le puse sin querer el ocultar automáticamente y ahora no se como desocultarla.