78 |
78 |
79 super(MiniScintilla, self).focusInEvent(event) |
79 super(MiniScintilla, self).focusInEvent(event) |
80 |
80 |
81 def focusOutEvent(self, event): |
81 def focusOutEvent(self, event): |
82 """ |
82 """ |
83 Public method called when the editor loses focus. |
83 Protected method called when the editor loses focus. |
84 |
84 |
85 @param event the event object (QFocusEvent) |
85 @param event the event object (QFocusEvent) |
86 """ |
86 """ |
87 self.mw.editorActGrp.setEnabled(False) |
87 self.mw.editorActGrp.setEnabled(False) |
88 self.setCaretWidth(0) |
88 self.setCaretWidth(0) |
189 |
189 |
190 self.__checkActions() |
190 self.__checkActions() |
191 |
191 |
192 def closeEvent(self, event): |
192 def closeEvent(self, event): |
193 """ |
193 """ |
194 Public method to handle the close event. |
194 Protected method to handle the close event. |
195 |
195 |
196 @param event close event (QCloseEvent) |
196 @param event close event (QCloseEvent) |
197 """ |
197 """ |
198 if self.__maybeSave(): |
198 if self.__maybeSave(): |
199 self.__writeSettings() |
199 self.__writeSettings() |
2270 self.__markOccurrencesTimer.stop() |
2270 self.__markOccurrencesTimer.stop() |
2271 self.__markOccurrencesTimer.start() |
2271 self.__markOccurrencesTimer.start() |
2272 |
2272 |
2273 def __undo(self): |
2273 def __undo(self): |
2274 """ |
2274 """ |
2275 Public method to undo the last recorded change. |
2275 Private method to undo the last recorded change. |
2276 """ |
2276 """ |
2277 self.__textEdit.undo() |
2277 self.__textEdit.undo() |
2278 self.__checkActions() |
2278 self.__checkActions() |
2279 |
2279 |
2280 def __redo(self): |
2280 def __redo(self): |
2281 """ |
2281 """ |
2282 Public method to redo the last recorded change. |
2282 Private method to redo the last recorded change. |
2283 """ |
2283 """ |
2284 self.__textEdit.redo() |
2284 self.__textEdit.redo() |
2285 self.__checkActions() |
2285 self.__checkActions() |
2286 |
2286 |
2287 def __selectAll(self): |
2287 def __selectAll(self): |