436 |
436 |
437 # connect the mouse hover signals |
437 # connect the mouse hover signals |
438 self.SCN_DWELLSTART.connect(self.__showMouseHoverHelp) |
438 self.SCN_DWELLSTART.connect(self.__showMouseHoverHelp) |
439 self.SCN_DWELLEND.connect(self.__cancelMouseHoverHelp) |
439 self.SCN_DWELLEND.connect(self.__cancelMouseHoverHelp) |
440 self.__mouseHoverHelp = None |
440 self.__mouseHoverHelp = None |
|
441 self.__showingMouseHoverHelp = False |
441 |
442 |
442 # set the text display again |
443 # set the text display again |
443 self.__setTextDisplay() |
444 self.__setTextDisplay() |
444 |
445 |
445 # set the auto-completion function |
446 # set the auto-completion function |
7146 @type QFocusEvent |
7147 @type QFocusEvent |
7147 """ |
7148 """ |
7148 self.vm.editorActGrp.setEnabled(False) |
7149 self.vm.editorActGrp.setEnabled(False) |
7149 self.setCaretWidth(0) |
7150 self.setCaretWidth(0) |
7150 |
7151 |
7151 self.SendScintilla(QsciScintilla.SCI_CALLTIPCANCEL) |
7152 self.cancelCallTips() |
7152 |
7153 |
7153 super().focusOutEvent(event) |
7154 super().focusOutEvent(event) |
7154 |
7155 |
7155 def changeEvent(self, evt): |
7156 def changeEvent(self, evt): |
7156 """ |
7157 """ |
8593 ) |
8594 ) |
8594 referencePositions.append( |
8595 referencePositions.append( |
8595 (reference.modulePath, reference.line, reference.column)) |
8596 (reference.modulePath, reference.line, reference.column)) |
8596 |
8597 |
8597 if references: |
8598 if references: |
|
8599 if self.isCallTipActive(): |
|
8600 self.cancelCallTips() |
8598 self.__referencesList = references |
8601 self.__referencesList = references |
8599 self.__referencesPositionsList = referencePositions |
8602 self.__referencesPositionsList = referencePositions |
8600 self.showUserList(ReferencesListID, references) |
8603 self.showUserList(ReferencesListID, references) |
8601 |
8604 |
8602 ####################################################################### |
8605 ####################################################################### |
8864 @param x x-value of mouse screen position |
8867 @param x x-value of mouse screen position |
8865 @type int |
8868 @type int |
8866 @param y y-value of mouse screen position |
8869 @param y y-value of mouse screen position |
8867 @type int |
8870 @type int |
8868 """ |
8871 """ |
8869 if self.__mouseHoverHelp is not None and pos > 0 and y > 0: |
8872 if not self.isCallTipActive() and not self.isListActive(): |
8870 line, index = self.lineIndexFromPosition(pos) |
8873 if self.__mouseHoverHelp is not None and pos > 0 and y > 0: |
8871 if index > 0: |
8874 line, index = self.lineIndexFromPosition(pos) |
8872 self.__mouseHoverHelp(self, line, index) |
8875 if index > 0: |
|
8876 self.__mouseHoverHelp(self, line, index) |
|
8877 else: |
|
8878 self.__cancelMouseHoverHelp() |
8873 else: |
8879 else: |
8874 self.__cancelMouseHoverHelp() |
8880 self.__cancelMouseHoverHelp() |
8875 else: |
|
8876 self.__cancelMouseHoverHelp() |
|
8877 |
8881 |
8878 def __cancelMouseHoverHelp(self): |
8882 def __cancelMouseHoverHelp(self): |
8879 """ |
8883 """ |
8880 Private slot cancelling the display of mouse hover help. |
8884 Private slot cancelling the display of mouse hover help. |
8881 """ |
8885 """ |
8882 self.SendScintilla(QsciScintilla.SCI_CALLTIPCANCEL) |
8886 if self.__showingMouseHoverHelp: |
|
8887 self.cancelCallTips() |
|
8888 self.__showingMouseHoverHelp = False |
8883 |
8889 |
8884 def registerMouseHoverHelpFunction(self, func): |
8890 def registerMouseHoverHelpFunction(self, func): |
8885 """ |
8891 """ |
8886 Public method to register a mouse hover help function. |
8892 Public method to register a mouse hover help function. |
8887 |
8893 |
8918 """ |
8924 """ |
8919 if data: |
8925 if data: |
8920 pos = self.positionFromLineIndex(line, index) |
8926 pos = self.positionFromLineIndex(line, index) |
8921 self.SendScintilla(QsciScintilla.SCI_CALLTIPSHOW, |
8927 self.SendScintilla(QsciScintilla.SCI_CALLTIPSHOW, |
8922 pos, self._encodeString(data)) |
8928 pos, self._encodeString(data)) |
|
8929 self.__showingMouseHoverHelp = True |
8923 else: |
8930 else: |
8924 self.__cancelMouseHoverHelp() |
8931 self.__cancelMouseHoverHelp() |