136 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) |
136 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) |
137 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) |
137 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) |
138 |
138 |
139 Preferences.setEditor( |
139 Preferences.setEditor( |
140 "PreviewHtmlFileNameExtensions", |
140 "PreviewHtmlFileNameExtensions", |
141 [ext.strip() for ext in |
141 [ext.strip() for ext in |
142 self.previewHtmlExtensionsEdit.text().split()]) |
142 self.previewHtmlExtensionsEdit.text().split()]) |
143 Preferences.setEditor( |
143 Preferences.setEditor( |
144 "PreviewMarkdownFileNameExtensions", |
144 "PreviewMarkdownFileNameExtensions", |
145 [ext.strip() for ext in |
145 [ext.strip() for ext in |
146 self.previewMarkdownExtensionsEdit.text().split()]) |
146 self.previewMarkdownExtensionsEdit.text().split()]) |
147 Preferences.setEditor( |
147 Preferences.setEditor( |
148 "PreviewRestFileNameExtensions", |
148 "PreviewRestFileNameExtensions", |
149 [ext.strip() for ext in |
149 [ext.strip() for ext in |
150 self.previewRestExtensionsEdit.text().split()]) |
150 self.previewRestExtensionsEdit.text().split()]) |
151 |
151 |
152 def __setDefaultFiltersLists(self, keepSelection=False): |
152 def __setDefaultFiltersLists(self, keepSelection=False): |
153 """ |
153 """ |
154 Private slot to set the default file filter combo boxes. |
154 Private slot to set the default file filter combo boxes. |
201 filter.count("*") != 1: |
201 filter.count("*") != 1: |
202 E5MessageBox.critical( |
202 E5MessageBox.critical( |
203 self, |
203 self, |
204 self.trUtf8("Add File Filter"), |
204 self.trUtf8("Add File Filter"), |
205 self.trUtf8("""A Save File Filter must contain exactly one""" |
205 self.trUtf8("""A Save File Filter must contain exactly one""" |
206 """ wildcard pattern. Yours contains {0}.""")\ |
206 """ wildcard pattern. Yours contains {0}.""") |
207 .format(filter.count("*"))) |
207 .format(filter.count("*"))) |
208 return False |
208 return False |
209 |
209 |
210 if filter.count("*") == 0: |
210 if filter.count("*") == 0: |
211 E5MessageBox.critical( |
211 E5MessageBox.critical( |