--- 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