QScintilla/Shell.py

changeset 1507
9225700cbff5
parent 1131
7781e396c903
child 1509
c0b5e693b0eb
--- a/QScintilla/Shell.py	Sat Dec 24 15:15:36 2011 +0100
+++ b/QScintilla/Shell.py	Mon Dec 26 14:58:44 2011 +0100
@@ -724,6 +724,22 @@
         else:
             super().mousePressEvent(event)
         
+    def wheelEvent(self, evt):
+        """
+        Protected method to handle wheel events.
+        
+        @param evt reference to the wheel event (QWheelEvent)
+        """
+        if evt.modifiers() & Qt.ControlModifier:
+            if evt.delta()< 0:
+                self.zoomOut()
+            else:
+                self.zoomIn()
+            evt.accept()
+            return
+        
+        super().wheelEvent(evt)
+    
     def editorCommand(self, cmd):
         """
         Public method to perform an editor command.

eric ide

mercurial