Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 1474
1eaec11a0078
parent 1444
552d2d74f5cf
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1471:af9e4f5a34b5 1474:1eaec11a0078
68 self.cppHighlightTripleQuotedCheckBox.setChecked( 68 self.cppHighlightTripleQuotedCheckBox.setChecked(
69 Preferences.getEditor("CppHighlightTripleQuotedStrings")) 69 Preferences.getEditor("CppHighlightTripleQuotedStrings"))
70 else: 70 else:
71 self.cppHighlightTripleQuotedCheckBox.setEnabled(False) 71 self.cppHighlightTripleQuotedCheckBox.setEnabled(False)
72 72
73
74 # CSS 73 # CSS
75 self.foldCssCommentCheckBox.setChecked( 74 self.foldCssCommentCheckBox.setChecked(
76 Preferences.getEditor("CssFoldComment")) 75 Preferences.getEditor("CssFoldComment"))
77 76
78 # D 77 # D

eric ide

mercurial