Hmm, tak si konečně na ID 2193 odpovím sám - pustit gconf-editor, apps, panel, toplevels, vybrat daný panel a v jeho nastavení změnit auto_hide_size na 0. Když jsem to kdysi zkoušel, tak to nefungovalo (když to bylo na 0, tak se ten skrytý panel prostě neobjevil), ale teď už to funguje, patrně to byl bug, nebo to někoho konečně napadlo změnit.
Další překážka v používání Gnome pro mě padla. |