Re: Gnome panel autohide, then remains hidden

Posted by pschaff on 2012/4/13 14:42:30

Does not sound like a good solution to me. I'd say leave the topic open for now. Somebody may yet suggest a more robust solution.