Preferences/ConfigurationPages/EditorFilePage.py

changeset 3010
befeff46ec0f
parent 2964
84b65fb9e780
child 3020
542e97d4ecb3
child 3057
10516539f238
equal deleted inserted replaced
3009:bf5ae5d7477d 3010:befeff46ec0f
31 super().__init__() 31 super().__init__()
32 self.setupUi(self) 32 self.setupUi(self)
33 self.setObjectName("EditorFilePage") 33 self.setObjectName("EditorFilePage")
34 34
35 self.__showsOpenFilters = True 35 self.__showsOpenFilters = True
36 self.openFileFilters = Preferences.getEditor("AdditionalOpenFilters")[:] 36 self.openFileFilters = \
37 self.saveFileFilters = Preferences.getEditor("AdditionalSaveFilters")[:] 37 Preferences.getEditor("AdditionalOpenFilters")[:]
38 self.saveFileFilters = \
39 Preferences.getEditor("AdditionalSaveFilters")[:]
38 self.fileFiltersList.addItems(self.openFileFilters) 40 self.fileFiltersList.addItems(self.openFileFilters)
39 41
40 self.__setDefaultFiltersLists() 42 self.__setDefaultFiltersLists()
41 43
42 self.defaultEncodingComboBox.addItems(sorted(supportedCodecs)) 44 self.defaultEncodingComboBox.addItems(sorted(supportedCodecs))
77 self.lfRadioButton.setChecked(True) 79 self.lfRadioButton.setChecked(True)
78 80
79 self.previewHtmlExtensionsEdit.setText( 81 self.previewHtmlExtensionsEdit.setText(
80 " ".join(Preferences.getEditor("PreviewHtmlFileNameExtensions"))) 82 " ".join(Preferences.getEditor("PreviewHtmlFileNameExtensions")))
81 self.previewMarkdownExtensionsEdit.setText( 83 self.previewMarkdownExtensionsEdit.setText(
82 " ".join(Preferences.getEditor("PreviewMarkdownFileNameExtensions"))) 84 " ".join(
85 Preferences.getEditor("PreviewMarkdownFileNameExtensions")))
83 self.previewRestExtensionsEdit.setText( 86 self.previewRestExtensionsEdit.setText(
84 " ".join(Preferences.getEditor("PreviewRestFileNameExtensions"))) 87 " ".join(Preferences.getEditor("PreviewRestFileNameExtensions")))
85 88
86 def save(self): 89 def save(self):
87 """ 90 """
122 self.__extractFileFilters() 125 self.__extractFileFilters()
123 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters) 126 Preferences.setEditor("AdditionalOpenFilters", self.openFileFilters)
124 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters) 127 Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters)
125 128
126 Preferences.setEditor("PreviewHtmlFileNameExtensions", 129 Preferences.setEditor("PreviewHtmlFileNameExtensions",
127 [ext.strip() for ext in self.previewHtmlExtensionsEdit.text().split()]) 130 [ext.strip() for ext in
131 self.previewHtmlExtensionsEdit.text().split()])
128 Preferences.setEditor("PreviewMarkdownFileNameExtensions", 132 Preferences.setEditor("PreviewMarkdownFileNameExtensions",
129 [ext.strip() for ext in self.previewMarkdownExtensionsEdit.text().split()]) 133 [ext.strip() for ext in
134 self.previewMarkdownExtensionsEdit.text().split()])
130 Preferences.setEditor("PreviewRestFileNameExtensions", 135 Preferences.setEditor("PreviewRestFileNameExtensions",
131 [ext.strip() for ext in self.previewRestExtensionsEdit.text().split()]) 136 [ext.strip() for ext in
137 self.previewRestExtensionsEdit.text().split()])
132 138
133 def __setDefaultFiltersLists(self, keepSelection=False): 139 def __setDefaultFiltersLists(self, keepSelection=False):
134 """ 140 """
135 Private slot to set the default file filter combo boxes. 141 Private slot to set the default file filter combo boxes.
136 142
140 if keepSelection: 146 if keepSelection:
141 selectedOpenFilter = self.openFilesFilterComboBox.currentText() 147 selectedOpenFilter = self.openFilesFilterComboBox.currentText()
142 selectedSaveFilter = self.saveFilesFilterComboBox.currentText() 148 selectedSaveFilter = self.saveFilesFilterComboBox.currentText()
143 149
144 import QScintilla.Lexers 150 import QScintilla.Lexers
145 openFileFiltersList = \ 151 openFileFiltersList = QScintilla.Lexers.getOpenFileFiltersList(
146 QScintilla.Lexers.getOpenFileFiltersList(False, withAdditional=False) + \ 152 False, withAdditional=False) + self.openFileFilters
147 self.openFileFilters
148 openFileFiltersList.sort() 153 openFileFiltersList.sort()
149 self.openFilesFilterComboBox.clear() 154 self.openFilesFilterComboBox.clear()
150 self.openFilesFilterComboBox.addItems(openFileFiltersList) 155 self.openFilesFilterComboBox.addItems(openFileFiltersList)
151 saveFileFiltersList = \ 156 saveFileFiltersList = QScintilla.Lexers.getSaveFileFiltersList(
152 QScintilla.Lexers.getSaveFileFiltersList(False, withAdditional=False) + \ 157 False, withAdditional=False) + self.saveFileFilters
153 self.saveFileFilters
154 saveFileFiltersList.sort() 158 saveFileFiltersList.sort()
155 self.saveFilesFilterComboBox.clear() 159 self.saveFilesFilterComboBox.clear()
156 self.saveFilesFilterComboBox.addItems(saveFileFiltersList) 160 self.saveFilesFilterComboBox.addItems(saveFileFiltersList)
157 161
158 if keepSelection: 162 if keepSelection:

eric ide

mercurial