eric6/QScintilla/Editor.py

changeset 6996
7d5a103bdb76
parent 6954
b5a772d457f0
child 7035
d2036d7f5ef6
child 7164
6da6a0a5a448
--- a/eric6/QScintilla/Editor.py	Sat May 04 11:51:26 2019 +0200
+++ b/eric6/QScintilla/Editor.py	Sat May 04 14:01:19 2019 +0200
@@ -8159,8 +8159,8 @@
         Private method to get the requested option via EditorConfig.
         
         If there is no EditorConfig defined, the equivalent built-in option
-        will be used (Preferences.getEditor(). The option must be given as the
-        Preferences option key. The mapping to the EditorConfig option name
+        will be used (Preferences.getEditor() ). The option must be given as
+        the Preferences option key. The mapping to the EditorConfig option name
         will be done within this method.
         
         @param option Preferences option key

eric ide

mercurial