Mercurial Repositories > eric / file diff

--- a/eric6/Documentation/Source/eric6.QScintilla.Editor.html	Sat May 04 14:45:04 2019 +0200
+++ b/eric6/Documentation/Source/eric6.QScintilla.Editor.html	Sat May 04 14:46:45 2019 +0200
@@ -1808,8 +1808,8 @@
         Private method to get the requested option via EditorConfig.
 </p><p>
         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.
 </p><dl>
 <dt><i>option</i> (str)</dt>