Preferences/__init__.py

changeset 405
374066392929
parent 383
286de4e5179c
child 426
161992758137
--- a/Preferences/__init__.py	Sun Jul 25 12:02:49 2010 +0200
+++ b/Preferences/__init__.py	Sun Jul 25 17:08:39 2010 +0200
@@ -100,7 +100,8 @@
                                             # 2 = embedded in project browser
         "BrowsersListFoldersFirst" : True,
         "BrowsersHideNonPublic" : False,
-        "BrowsersListContentsByOccurrence" : False, 
+        "BrowsersListContentsByOccurrence" : False,
+        "BrowsersListHiddenFiles" : False, 
         "LogViewerAutoRaise" : True, 
         "SingleApplicationMode" : False,
         "CaptionShowsFilename" : True,
@@ -1081,7 +1082,8 @@
     @return the requested UI setting
     """
     if key in ["BrowsersListFoldersFirst", "BrowsersHideNonPublic",
-                "BrowsersListContentsByOccurrence", "LogViewerAutoRaise", 
+                "BrowsersListContentsByOccurrence", "BrowsersListHiddenFiles",
+                "LogViewerAutoRaise", 
                 "SingleApplicationMode", "TabViewManagerFilenameOnly", 
                 "CaptionShowsFilename", "ShowSplash", 
                 "SingleCloseButton", 

eric ide

mercurial