On 07/27/2015 05:34 AM, Fred Smith wrote:
> Hi all!
>
> I usually keep the panels on my Centos 6.6 (Gnome) so they auto-hide,
> but t'other day I wanted to keep the top panel visible for a while to
> make the clock visible for doing some rough timings.
>
> so I open the top panel, click properties, and UNcheck the "autohide"
> checkbox, close the properties menu, and to my surprise, the panel
> still autohides. Went thru that exercise several times ("come on guys,
> lets keep doing the same thing over and over til it works!", like
> congress does)
>
> So I open up the gnome configuration editor and browse around to find
> apps/panel/default_setup/toplevels/top_panel and
> apps/panel/toplevels/top_panel.
>
> neither one has a check in the checkbox for autohide, so I'm at a
> loss here as to what's going on.
>
> Anybody out there got any clues?
Did you try logging out and back in? Shouldn't be the case but it is
gnome after all....
> thanks!
>
> Fred