722 if event.button() == Qt.MidButton: |
722 if event.button() == Qt.MidButton: |
723 self.__middleMouseButton() |
723 self.__middleMouseButton() |
724 else: |
724 else: |
725 super().mousePressEvent(event) |
725 super().mousePressEvent(event) |
726 |
726 |
|
727 def wheelEvent(self, evt): |
|
728 """ |
|
729 Protected method to handle wheel events. |
|
730 |
|
731 @param evt reference to the wheel event (QWheelEvent) |
|
732 """ |
|
733 if evt.modifiers() & Qt.ControlModifier: |
|
734 if evt.delta()< 0: |
|
735 self.zoomOut() |
|
736 else: |
|
737 self.zoomIn() |
|
738 evt.accept() |
|
739 return |
|
740 |
|
741 super().wheelEvent(evt) |
|
742 |
727 def editorCommand(self, cmd): |
743 def editorCommand(self, cmd): |
728 """ |
744 """ |
729 Public method to perform an editor command. |
745 Public method to perform an editor command. |
730 |
746 |
731 @param cmd the scintilla command to be performed |
747 @param cmd the scintilla command to be performed |