diff -r af9e4f5a34b5 -r 1eaec11a0078 Preferences/ConfigurationPages/EditorPropertiesPage.py --- a/Preferences/ConfigurationPages/EditorPropertiesPage.py Sun Nov 27 19:38:09 2011 +0100 +++ b/Preferences/ConfigurationPages/EditorPropertiesPage.py Mon Nov 28 20:03:49 2011 +0100 @@ -70,7 +70,6 @@ else: self.cppHighlightTripleQuotedCheckBox.setEnabled(False) - # CSS self.foldCssCommentCheckBox.setChecked( Preferences.getEditor("CssFoldComment"))