Thu, 25 Jun 2015 18:50:11 +0200
Fixed an issue in the mouse click handler of the editor. Needed to cast the modifiers and mouse button to an integer.
QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/QScintilla/Editor.py Thu Jun 25 18:42:55 2015 +0200 +++ b/QScintilla/Editor.py Thu Jun 25 18:50:11 2015 +0200 @@ -7582,7 +7582,7 @@ """ modifiers = evt.modifiers() button = evt.button() - key = (modifiers, button) + key = (int(modifiers), int(button)) if button != Qt.NoButton and \ Preferences.getEditor("MouseClickHandlersEnabled") and \ @@ -7608,7 +7608,7 @@ @return flag indicating success @rtype bool """ - key = (modifiers, button) + key = (int(modifiers), int(button)) if key in self.__mouseClickHandlers: E5MessageBox.warning( self, @@ -7636,7 +7636,7 @@ @return plug-in name and registered function @rtype tuple of str and func """ - key = (modifiers, button) + key = (int(modifiers), int(button)) if key in self.__mouseClickHandlers: return self.__mouseClickHandlers[key] else: @@ -7668,7 +7668,7 @@ @param button mouse button of the handler @type Qt.MouseButton """ - key = (modifiers, button) + key = (int(modifiers), int(button)) if key in self.__mouseClickHandlers: del self.__mouseClickHandlers[key]