Preferences/ConfigurationPages/EditorFilePage.py

changeset 5837
9ef6a28f1694
parent 5599
033967644b1f
child 6048
82ad8ec9548c
equal deleted inserted replaced
5836:159e6057ad34 5837:9ef6a28f1694
42 self.fileFiltersList.addItems(self.openFileFilters) 42 self.fileFiltersList.addItems(self.openFileFilters)
43 43
44 self.__setDefaultFiltersLists() 44 self.__setDefaultFiltersLists()
45 45
46 self.defaultEncodingComboBox.addItems(sorted(supportedCodecs)) 46 self.defaultEncodingComboBox.addItems(sorted(supportedCodecs))
47
48 self.previewMarkdownHTMLFormatComboBox.addItems(
49 ["XHTML1", "HTML4", "HTML5"])
50 self.previewRestDocutilsHTMLFormatComboBox.addItems(
51 ["HTML4", "HTML5"])
47 52
48 # set initial values 53 # set initial values
49 self.autosaveSlider.setValue( 54 self.autosaveSlider.setValue(
50 Preferences.getEditor("AutosaveInterval")) 55 Preferences.getEditor("AutosaveInterval"))
51 self.createBackupFileCheckBox.setChecked( 56 self.createBackupFileCheckBox.setChecked(
89 " ".join(Preferences.getEditor("PreviewRestFileNameExtensions"))) 94 " ".join(Preferences.getEditor("PreviewRestFileNameExtensions")))
90 self.previewQssExtensionsEdit.setText( 95 self.previewQssExtensionsEdit.setText(
91 " ".join(Preferences.getEditor("PreviewQssFileNameExtensions"))) 96 " ".join(Preferences.getEditor("PreviewQssFileNameExtensions")))
92 self.previewRestSphinxCheckBox.setChecked( 97 self.previewRestSphinxCheckBox.setChecked(
93 Preferences.getEditor("PreviewRestUseSphinx")) 98 Preferences.getEditor("PreviewRestUseSphinx"))
99 self.previewMarkdownNLtoBreakCheckBox.setChecked(
100 Preferences.getEditor("PreviewMarkdownNLtoBR"))
101 index = self.previewMarkdownHTMLFormatComboBox.findText(
102 Preferences.getEditor("PreviewMarkdownHTMLFormat"))
103 self.previewMarkdownHTMLFormatComboBox.setCurrentIndex(index)
104 index = self.previewRestDocutilsHTMLFormatComboBox.findText(
105 Preferences.getEditor("PreviewRestDocutilsHTMLFormat"))
106 self.previewRestDocutilsHTMLFormatComboBox.setCurrentIndex(index)
94 107
95 def save(self): 108 def save(self):
96 """ 109 """
97 Public slot to save the Editor File Handling configuration. 110 Public slot to save the Editor File Handling configuration.
98 """ 111 """
159 [ext.strip() for ext in 172 [ext.strip() for ext in
160 self.previewQssExtensionsEdit.text().split()]) 173 self.previewQssExtensionsEdit.text().split()])
161 Preferences.setEditor( 174 Preferences.setEditor(
162 "PreviewRestUseSphinx", 175 "PreviewRestUseSphinx",
163 self.previewRestSphinxCheckBox.isChecked()) 176 self.previewRestSphinxCheckBox.isChecked())
177 Preferences.setEditor(
178 "PreviewMarkdownNLtoBR",
179 self.previewMarkdownNLtoBreakCheckBox.isChecked())
180 Preferences.setEditor(
181 "PreviewMarkdownHTMLFormat",
182 self.previewMarkdownHTMLFormatComboBox.currentText())
183 Preferences.setEditor(
184 "PreviewRestDocutilsHTMLFormat",
185 self.previewRestDocutilsHTMLFormatComboBox.currentText())
164 186
165 def __setDefaultFiltersLists(self, keepSelection=False): 187 def __setDefaultFiltersLists(self, keepSelection=False):
166 """ 188 """
167 Private slot to set the default file filter combo boxes. 189 Private slot to set the default file filter combo boxes.
168 190

eric ide

mercurial