Tue, 13 Apr 2021 17:44:23 +0200
Editor: fixed an issue providing calltips if no calltip provider is installed.
eric6/QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/eric6/QScintilla/Editor.py Mon Apr 12 19:54:29 2021 +0200 +++ b/eric6/QScintilla/Editor.py Tue Apr 13 17:44:23 2021 +0200 @@ -5345,12 +5345,16 @@ if not found: return + callTips = [] if self.__ctHookFunctions: - callTips = [] for key in self.__ctHookFunctions: callTips.extend(self.__ctHookFunctions[key](self, pos, commas)) callTips = list(set(callTips)) callTips.sort() + else: + # try QScintilla calltips + super().callTip() + return if len(callTips) == 0: if Preferences.getEditor("CallTipsScintillaOnFail"): # try QScintilla calltips