--- 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",