Preferences/ConfigurationPages/EditorFilePage.py

changeset 3034
7ce719013078
parent 3025
67064c71df21
child 3038
7fe9a53280bd
equal deleted inserted replaced
3033:58fe260e7469 3034:7ce719013078
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(

eric ide

mercurial