Preferences/ConfigurationPages/EditorPropertiesPage.py

changeset 5436
af16135f6172
parent 5420
53ca6ddb4acf
child 6048
82ad8ec9548c
diff -r 44a6fc2828bc -r af16135f6172 Preferences/ConfigurationPages/EditorPropertiesPage.py
--- a/Preferences/ConfigurationPages/EditorPropertiesPage.py	Fri Jan 20 18:55:28 2017 +0100
+++ b/Preferences/ConfigurationPages/EditorPropertiesPage.py	Fri Jan 20 19:00:17 2017 +0100
@@ -388,9 +388,11 @@
         
         # JSON
         if "JSON" in self.languages:
-            Preferences.setEditor("JSONHightlightComments",
+            Preferences.setEditor(
+                "JSONHightlightComments",
                 self.jsonHighlightCommentsCheckBox.isChecked())
-            Preferences.setEditor("JSONHighlightEscapeSequences",
+            Preferences.setEditor(
+                "JSONHighlightEscapeSequences",
                 self.jsonHighlightEscapeCheckBox.isChecked())
         
         # Pascal

eric ide

mercurial