eric6/QScintilla/Editor.py

branch
maintenance
changeset 7035
d2036d7f5ef6
parent 6989
8b8cadf8d7e9
parent 6996
7d5a103bdb76
child 7214
f434af227a41
--- a/eric6/QScintilla/Editor.py	Sat May 04 12:04:12 2019 +0200
+++ b/eric6/QScintilla/Editor.py	Sun Jun 02 11:42:48 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