9 |
9 |
10 import sys |
10 import sys |
11 import os |
11 import os |
12 import re |
12 import re |
13 |
13 |
14 from PyQt4.QtCore import QSignalMapper, QTimer, QByteArray, QProcess |
14 from PyQt4.QtCore import QSignalMapper, QTimer, QByteArray, QProcess, Qt |
15 from PyQt4.QtGui import QDialog, QInputDialog, QApplication, QMenu, QPalette, QFont |
15 from PyQt4.QtGui import QDialog, QInputDialog, QApplication, QMenu, QPalette, QFont |
16 from PyQt4.Qsci import QsciScintilla |
16 from PyQt4.Qsci import QsciScintilla |
17 |
17 |
18 from E5Gui.E5Application import e5App |
18 from E5Gui.E5Application import e5App |
19 |
19 |
481 @param event the mouse press event (QMouseEvent) |
481 @param event the mouse press event (QMouseEvent) |
482 """ |
482 """ |
483 self.setFocus() |
483 self.setFocus() |
484 super().mousePressEvent(event) |
484 super().mousePressEvent(event) |
485 |
485 |
|
486 def wheelEvent(self, evt): |
|
487 """ |
|
488 Protected method to handle wheel events. |
|
489 |
|
490 @param evt reference to the wheel event (QWheelEvent) |
|
491 """ |
|
492 if evt.modifiers() & Qt.ControlModifier: |
|
493 if evt.delta()< 0: |
|
494 self.zoomOut() |
|
495 else: |
|
496 self.zoomIn() |
|
497 evt.accept() |
|
498 return |
|
499 |
|
500 super().wheelEvent(evt) |
|
501 |
486 def editorCommand(self, cmd): |
502 def editorCommand(self, cmd): |
487 """ |
503 """ |
488 Public method to perform an editor command. |
504 Public method to perform an editor command. |
489 |
505 |
490 @param cmd the scintilla command to be performed |
506 @param cmd the scintilla command to be performed |