QScintilla/Terminal.py

changeset 97
c4086afea02b
parent 55
b5c84934de9c
child 128
13e96bd0f5a5
equal deleted inserted replaced
96:9624a110667d 97:c4086afea02b
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
20 from . import Lexers 20 from . import Lexers
21 from .QsciScintillaCompat import QsciScintillaCompat, QSCINTILLA_VERSION 21 from .QsciScintillaCompat import QsciScintillaCompat
22 22
23 import Preferences 23 import Preferences
24 import Utilities 24 import Utilities
25 25
26 import UI.PixmapCache 26 import UI.PixmapCache
496 Re-implemented to handle the user input a key at a time. 496 Re-implemented to handle the user input a key at a time.
497 497
498 @param ev key event (QKeyEvent) 498 @param ev key event (QKeyEvent)
499 """ 499 """
500 txt = ev.text() 500 txt = ev.text()
501 key = ev.key()
502 501
503 # See it is text to insert. 502 # See it is text to insert.
504 if len(txt) and txt >= " ": 503 if len(txt) and txt >= " ":
505 if not self.__isCursorOnLastLine(): 504 if not self.__isCursorOnLastLine():
506 line, col = self.__getEndPos() 505 line, col = self.__getEndPos()
851 def __stopShell(self): 850 def __stopShell(self):
852 """ 851 """
853 Private slot to stop the shell process. 852 Private slot to stop the shell process.
854 """ 853 """
855 self.__process.kill() 854 self.__process.kill()
856 res = self.__process.waitForFinished(3000) 855 self.__process.waitForFinished(3000)
857 856
858 def handlePreferencesChanged(self): 857 def handlePreferencesChanged(self):
859 """ 858 """
860 Public slot to handle the preferencesChanged signal. 859 Public slot to handle the preferencesChanged signal.
861 """ 860 """

eric ide

mercurial