Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 5436
af16135f6172
parent 5420
53ca6ddb4acf
child 6048
82ad8ec9548c
equal deleted inserted replaced
5435:44a6fc2828bc 5436:af16135f6172
386 "HtmlMakoTemplates", 386 "HtmlMakoTemplates",
387 self.htmlMakoCheckBox.isChecked()) 387 self.htmlMakoCheckBox.isChecked())
388 388
389 # JSON 389 # JSON
390 if "JSON" in self.languages: 390 if "JSON" in self.languages:
391 Preferences.setEditor("JSONHightlightComments", 391 Preferences.setEditor(
392 "JSONHightlightComments",
392 self.jsonHighlightCommentsCheckBox.isChecked()) 393 self.jsonHighlightCommentsCheckBox.isChecked())
393 Preferences.setEditor("JSONHighlightEscapeSequences", 394 Preferences.setEditor(
395 "JSONHighlightEscapeSequences",
394 self.jsonHighlightEscapeCheckBox.isChecked()) 396 self.jsonHighlightEscapeCheckBox.isChecked())
395 397
396 # Pascal 398 # Pascal
397 Preferences.setEditor( 399 Preferences.setEditor(
398 "PascalFoldComment", 400 "PascalFoldComment",

eric ide

mercurial