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 |