QScintilla/Terminal.py

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

eric ide

mercurial