11 |
11 |
12 from .ConfigurationPageBase import ConfigurationPageBase |
12 from .ConfigurationPageBase import ConfigurationPageBase |
13 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage |
13 from .Ui_EditorPropertiesPage import Ui_EditorPropertiesPage |
14 |
14 |
15 import Preferences |
15 import Preferences |
|
16 |
16 |
17 |
17 class EditorPropertiesPage(ConfigurationPageBase, Ui_EditorPropertiesPage): |
18 class EditorPropertiesPage(ConfigurationPageBase, Ui_EditorPropertiesPage): |
18 """ |
19 """ |
19 Class implementing the Editor Properties configuration page. |
20 Class implementing the Editor Properties configuration page. |
20 """ |
21 """ |
245 if "PostScript" in self.languages: |
246 if "PostScript" in self.languages: |
246 Preferences.setEditor("PostScriptFoldAtElse", |
247 Preferences.setEditor("PostScriptFoldAtElse", |
247 self.psFoldAtElseCheckBox.isChecked()) |
248 self.psFoldAtElseCheckBox.isChecked()) |
248 Preferences.setEditor("PostScriptTokenize", |
249 Preferences.setEditor("PostScriptTokenize", |
249 self.psMarkTokensCheckBox.isChecked()) |
250 self.psMarkTokensCheckBox.isChecked()) |
250 Preferences.setEditor("PostScriptLevel", |
251 Preferences.setEditor("PostScriptLevel", |
251 self.psLevelSpinBox.value()) |
252 self.psLevelSpinBox.value()) |
252 |
253 |
253 # Povray |
254 # Povray |
254 Preferences.setEditor("PovFoldComment", |
255 Preferences.setEditor("PovFoldComment", |
255 self.foldPovrayCommentCheckBox.isChecked()) |
256 self.foldPovrayCommentCheckBox.isChecked()) |
292 Preferences.setEditor("XMLStyleScripts", |
293 Preferences.setEditor("XMLStyleScripts", |
293 self.xmlSyleScriptsCheckBox.isChecked()) |
294 self.xmlSyleScriptsCheckBox.isChecked()) |
294 |
295 |
295 # YAML |
296 # YAML |
296 if "YAML" in self.languages: |
297 if "YAML" in self.languages: |
297 Preferences.setEditor("YAMLFoldComment", |
298 Preferences.setEditor("YAMLFoldComment", |
298 self.foldYamlCommentCheckBox.isChecked()) |
299 self.foldYamlCommentCheckBox.isChecked()) |
|
300 |
299 |
301 |
300 def create(dlg): |
302 def create(dlg): |
301 """ |
303 """ |
302 Module function to create the configuration page. |
304 Module function to create the configuration page. |
303 |
305 |