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?
thanks!
Fred
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
On 2015-07-26, Rob Kampen rkampen@kampensonline.com wrote:
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....
Alternatively, issue the command 'pkill gnome-panel'; gnome-session will restart the panel for you. (Again, shouldn't be required, but ...)
-
Fred Smith -
Liam O'Toole -
Rob Kampen