src/eric7/QScintilla/MiniEditor.py

branch
eric7
changeset 10417
c6011e501282
parent 10373
093dcebe5ecb
child 10431
64157aeb0312
--- a/src/eric7/QScintilla/MiniEditor.py	Sat Dec 16 17:52:02 2023 +0100
+++ b/src/eric7/QScintilla/MiniEditor.py	Sun Dec 17 17:15:19 2023 +0100
@@ -4353,7 +4353,7 @@
         @type dict
         @return value of requested setting or None if nothing was found and
             nodefault parameter was True
-        @rtype any
+        @rtype Any
         """
         if config is None:
             config = self.__editorConfig
@@ -4414,7 +4414,7 @@
         @param option Preferences option key
         @type str
         @return override value; None in case nothing is defined
-        @rtype any
+        @rtype Any
         """
         if option in ("TabWidth", "IndentWidth"):
             overrides = Preferences.getEditor("TabIndentOverride")

eric ide

mercurial