QScintilla/Editor.py

changeset 4288
1c9c1c12111a
parent 4287
12274edd3050
child 4290
5d4f4230a5ed
--- a/QScintilla/Editor.py	Tue Jun 23 19:10:18 2015 +0200
+++ b/QScintilla/Editor.py	Tue Jun 23 19:43:21 2015 +0200
@@ -7615,7 +7615,9 @@
         button = evt.button()
         key = (modifiers, button)
         
-        if button != Qt.NoButton and key in self.__mouseClickHandlers:
+        if button != Qt.NoButton and \
+            Preferences.getEditor("MouseClickHandlersEnabled") and \
+                key in self.__mouseClickHandlers:
             self.__mouseClickHandlers[key][1]()
             evt.accept()
         else:
@@ -7643,7 +7645,7 @@
                 self,
                 self.tr("Register Mouse Click Handler"),
                 self.tr("""A mouse click handler for "{0}" was already"""
-                        """ registered by {1}". Aborting request by"""
+                        """ registered by "{1}". Aborting request by"""
                         """ "{2}"...""").format(
                     self.__mouseClickToString(modifiers, button),
                     self.__mouseClickHandlers[key][0],

eric ide

mercurial