Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/InterfacePage.py
src/eric7/Preferences/ConfigurationPages/InterfacePage.py
- branch
- eric7
- changeset 10949
- 2057b1b198a5
- parent 10926
- 9ef616cd220d
- child 11006
- a671918232f3
equal
deleted
inserted
replaced
| 10948:89b36a39fe69 | 10949:2057b1b198a5 |
|---|---|
| 72 self.uiBrowsersSortByOccurrenceCheckBox.setChecked( | 72 self.uiBrowsersSortByOccurrenceCheckBox.setChecked( |
| 73 Preferences.getUI("BrowsersListContentsByOccurrence") | 73 Preferences.getUI("BrowsersListContentsByOccurrence") |
| 74 ) | 74 ) |
| 75 self.browserShowCodingCheckBox.setChecked( | 75 self.browserShowCodingCheckBox.setChecked( |
| 76 Preferences.getUI("BrowserShowCoding") | 76 Preferences.getUI("BrowserShowCoding") |
| 77 ) | |
| 78 self.browserShowConnectedServerOnlyCheckBox.setChecked( | |
| 79 Preferences.getUI("BrowsersFilterRemoteEntries") | |
| 77 ) | 80 ) |
| 78 self.fileFiltersEdit.setText(Preferences.getUI("BrowsersFileFilters")) | 81 self.fileFiltersEdit.setText(Preferences.getUI("BrowsersFileFilters")) |
| 79 | 82 |
| 80 self.uiCaptionShowsFilenameGroupBox.setChecked( | 83 self.uiCaptionShowsFilenameGroupBox.setChecked( |
| 81 Preferences.getUI("CaptionShowsFilename") | 84 Preferences.getUI("CaptionShowsFilename") |
| 161 "BrowsersListContentsByOccurrence", | 164 "BrowsersListContentsByOccurrence", |
| 162 self.uiBrowsersSortByOccurrenceCheckBox.isChecked(), | 165 self.uiBrowsersSortByOccurrenceCheckBox.isChecked(), |
| 163 ) | 166 ) |
| 164 Preferences.setUI( | 167 Preferences.setUI( |
| 165 "BrowserShowCoding", self.browserShowCodingCheckBox.isChecked() | 168 "BrowserShowCoding", self.browserShowCodingCheckBox.isChecked() |
| 169 ) | |
| 170 Preferences.setUI( | |
| 171 "BrowsersFilterRemoteEntries", | |
| 172 self.browserShowConnectedServerOnlyCheckBox.isChecked(), | |
| 166 ) | 173 ) |
| 167 Preferences.setUI("BrowsersFileFilters", self.fileFiltersEdit.text()) | 174 Preferences.setUI("BrowsersFileFilters", self.fileFiltersEdit.text()) |
| 168 | 175 |
| 169 Preferences.setUI( | 176 Preferences.setUI( |
| 170 "CaptionShowsFilename", self.uiCaptionShowsFilenameGroupBox.isChecked() | 177 "CaptionShowsFilename", self.uiCaptionShowsFilenameGroupBox.isChecked() |
