cegeeBuntuKöszi! Jól is működött 12.04-en ez a 2 extension, de a Gnome-Shell újabb verzióiban már nem megoldás.
Most 14.04-et tesztelem, és itt már a vezérlőgombok felrakása, és a max. ablakok kereteinek eltüntetése sem megy :(
A felső panelt tudnám rejteni:
https://extensions.gnome.org/extension/545/hide-top-bar/
Azt hiszem ezzel.
Nem tudod a módját, hogy hogy lehetne intelihide opciót varázsolni autohide helyett?
B2man