Editor: fixed an issue providing calltips if no calltip provider is installed.

Tue, 13 Apr 2021 17:44:23 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 13 Apr 2021 17:44:23 +0200
changeset 8231
377c24760c37
parent 8230
8b5c6896655b
child 8232
39c4543b7a61

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

eric ide

mercurial