“In this tips and tricks article you will see a few little
tweaks you can make to the GNOME panel to make your desktop more
productive, efficient, and just plain cooler. NOTE: For this
article I will be using GNOME 2.28. If you are using an earlier
release some of these tips may not work.“Auto-hide problems
“You may have found yourself in this situation. You create a new
panel, set it on either the left or right side of the desktop, and
configure it to auto-hide, only to find that you can not un-hide
that panel. This is a problem that can happen when certain elements
are added to a panel (the GNOME Main menu for example). It seems no
matter how long you hover your mouse near the edge of that hidden
penal (the action to un-hide the panel), it won’t come out. If this
is the case, fret not, there is a way to get it back. For the GNOME
desktop there is a tool called gconf-editor. This tool allows you
to set configuration options for all tools and applications in
GNOME, without having to open up the tool or application.”
LinuxToday is a trusted, contributor-driven news resource supporting all types of Linux users. Our thriving international community engages with us through social media and frequent content contributions aimed at solving problems ranging from personal computing to enterprise-level IT operations. LinuxToday serves as a home for a community that struggles to find comparable information elsewhere on the web.
Property of TechnologyAdvice. © 2025 TechnologyAdvice. All Rights Reserved
Advertiser Disclosure: Some of the products that appear on this site are from companies from which TechnologyAdvice receives compensation. This compensation may impact how and where products appear on this site including, for example, the order in which they appear. TechnologyAdvice does not include all companies or all types of products available in the marketplace.