QScintilla/Shell.py

changeset 1507
9225700cbff5
parent 1131
7781e396c903
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1506:f28af766e539 1507:9225700cbff5
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

eric ide

mercurial