diff -r 3e5b1e3a71f5 -r e04b5d53281e Preferences/__init__.py
--- a/Preferences/__init__.py Fri Apr 26 19:48:36 2013 +0200
+++ b/Preferences/__init__.py Sat Apr 27 13:56:42 2013 +0200
@@ -99,6 +99,7 @@
"StyleSheet": "",
"ViewManager": "tabview",
"LayoutType": "Sidebars",
+ "SidebarDelay": 200,
# allowed values are "Toolboxes" and "Sidebars"
"LayoutShellEmbedded": 0, # 0 = separate
# 1 = embedded in debug browser
@@ -1417,7 +1418,8 @@
elif key in ["TabViewManagerFilenameLength", "CaptionFilenameLength",
"ProxyPort/Http", "ProxyPort/Https", "ProxyPort/Ftp",
"ProxyType/Ftp", "OpenOnStartup",
- "PerformVersionCheck", "RecentNumber", "NotificationTimeout"]:
+ "PerformVersionCheck", "RecentNumber", "NotificationTimeout",
+ "SidebarDelay"]:
return int(prefClass.settings.value("UI/" + key,
prefClass.uiDefaults[key]))
elif key in ["ProxyPassword/Http", "ProxyPassword/Https",
