diff -r 5d807e997391 -r c6011e501282 src/eric7/QScintilla/MiniEditor.py --- 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")