--- a/src/eric7/QScintilla/Editor.py Sat Dec 16 17:52:02 2023 +0100 +++ b/src/eric7/QScintilla/Editor.py Sun Dec 17 17:15:19 2023 +0100 @@ -9473,7 +9473,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 @@ -9534,7 +9534,7 @@ @param option Preferences option key @type str @return value of requested setting - @rtype any + @rtype Any """ return self.__getEditorConfig(option) @@ -9545,7 +9545,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")