--- ui/gtk/panel.py~ 2008-10-06 10:07:43.000000000 +0200 +++ ui/gtk/panel.py 2008-10-17 02:50:06.000000000 +0200 @@ -221,7 +221,7 @@ self.__candidate_panel.set_orientation(gtk.ORIENTATION_VERTICAL) def __config_load_auto_hide(self): - auto_hide = self.__bus.config_get_value("panel", "auto_hide", False) + auto_hide = self.__bus.config_get_value("panel", "auto_hide", True) self.__language_bar.set_auto_hide(auto_hide) def __config_load_custom_font(self):