eric7/QScintilla/MiniEditor.py

branch
eric7
changeset 8712
ce5d777ecfef
parent 8701
9a7ef33a4534
child 8713
c2a124c2ecbb
equal deleted inserted replaced
8711:440cd184f14c 8712:ce5d777ecfef
137 137
138 super().keyPressEvent(ev) 138 super().keyPressEvent(ev)
139 else: 139 else:
140 ev.ignore() 140 ev.ignore()
141 141
142 def mousePressEvent(self, event):
143 """
144 Protected method to handle the mouse press event.
145
146 @param event the mouse press event
147 @type QMouseEvent
148 """
149 if event.button() == Qt.MouseButton.XButton1:
150 self.undo()
151 event.accept()
152 elif event.button() == Qt.MouseButton.XButton2:
153 self.redo()
154 event.accept()
155 else:
156 super().mousePressEvent(event)
157
142 def focusInEvent(self, event): 158 def focusInEvent(self, event):
143 """ 159 """
144 Protected method called when the editor receives focus. 160 Protected method called when the editor receives focus.
145 161
146 This method checks for modifications of the current file and 162 This method checks for modifications of the current file and

eric ide

mercurial