54 Preferences.getUI("BrowsersHideNonPublic")) |
54 Preferences.getUI("BrowsersHideNonPublic")) |
55 self.uiBrowsersSortByOccurrenceCheckBox.setChecked( |
55 self.uiBrowsersSortByOccurrenceCheckBox.setChecked( |
56 Preferences.getUI("BrowsersListContentsByOccurrence")) |
56 Preferences.getUI("BrowsersListContentsByOccurrence")) |
57 self.uiBrowsersShowHiddenCheckBox.setChecked( |
57 self.uiBrowsersShowHiddenCheckBox.setChecked( |
58 Preferences.getUI("BrowsersListHiddenFiles")) |
58 Preferences.getUI("BrowsersListHiddenFiles")) |
|
59 self.browserShowCodingCheckBox.setChecked( |
|
60 Preferences.getUI("BrowserShowCoding")) |
59 self.fileFiltersEdit.setText( |
61 self.fileFiltersEdit.setText( |
60 Preferences.getUI("BrowsersFileFilters")) |
62 Preferences.getUI("BrowsersFileFilters")) |
61 |
63 |
62 self.uiCaptionShowsFilenameGroupBox.setChecked( |
64 self.uiCaptionShowsFilenameGroupBox.setChecked( |
63 Preferences.getUI("CaptionShowsFilename")) |
65 Preferences.getUI("CaptionShowsFilename")) |
121 "BrowsersListContentsByOccurrence", |
123 "BrowsersListContentsByOccurrence", |
122 self.uiBrowsersSortByOccurrenceCheckBox.isChecked()) |
124 self.uiBrowsersSortByOccurrenceCheckBox.isChecked()) |
123 Preferences.setUI( |
125 Preferences.setUI( |
124 "BrowsersListHiddenFiles", |
126 "BrowsersListHiddenFiles", |
125 self.uiBrowsersShowHiddenCheckBox.isChecked()) |
127 self.uiBrowsersShowHiddenCheckBox.isChecked()) |
|
128 Preferences.setUI( |
|
129 "BrowserShowCoding", |
|
130 self.browserShowCodingCheckBox.isChecked()) |
126 Preferences.setUI( |
131 Preferences.setUI( |
127 "BrowsersFileFilters", |
132 "BrowsersFileFilters", |
128 self.fileFiltersEdit.text()) |
133 self.fileFiltersEdit.text()) |
129 |
134 |
130 Preferences.setUI( |
135 Preferences.setUI( |