From 65672c00388ba8c3e98a39e700d097c9c7472172 Mon Sep 17 00:00:00 2001 From: Peng Huang Date: Mon, 23 Feb 2009 14:23:47 +0800 Subject: Change default valut of panel/auto_hide to True. --- setup/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup/main.py b/setup/main.py index 8a1d047..87f7962 100644 --- a/setup/main.py +++ b/setup/main.py @@ -128,7 +128,7 @@ class Setup(object): # auto hide self.__checkbutton_auto_hide = self.__xml.get_widget("checkbutton_auto_hide") self.__checkbutton_auto_hide.set_active( - self.__config.get_value("panel", "auto_hide", False)) + self.__config.get_value("panel", "auto_hide", True)) self.__checkbutton_auto_hide.connect("toggled", self.__checkbutton_auto_hide_toggled_cb) # custom font -- cgit