eric6/QScintilla/Shell.py

changeset 8240
93b8a353c4bf
parent 8235
78e6d29eb773
child 8243
cc717c2ae956
equal deleted inserted replaced
8239:59a9a658618c 8240:93b8a353c4bf
7 Module implementing a graphical Python shell. 7 Module implementing a graphical Python shell.
8 """ 8 """
9 9
10 import sys 10 import sys
11 import re 11 import re
12 import contextlib
12 13
13 from enum import Enum 14 from enum import Enum
14 15
15 from PyQt5.QtCore import pyqtSignal, pyqtSlot, QFileInfo, Qt, QEvent 16 from PyQt5.QtCore import pyqtSignal, pyqtSlot, QFileInfo, Qt, QEvent
16 from PyQt5.QtGui import QClipboard, QPalette, QFont 17 from PyQt5.QtGui import QClipboard, QPalette, QFont
1889 return 1890 return
1890 else: 1891 else:
1891 self.dbs.remoteStatement( 1892 self.dbs.remoteStatement(
1892 self.__debugUI.getSelectedDebuggerId(), cmd) 1893 self.__debugUI.getSelectedDebuggerId(), cmd)
1893 while self.inCommandExecution: 1894 while self.inCommandExecution:
1894 try: 1895 with contextlib.suppress(KeyboardInterrupt):
1895 QApplication.processEvents() 1896 QApplication.processEvents()
1896 except KeyboardInterrupt:
1897 pass
1898 else: 1897 else:
1899 if not self.__echoInput: 1898 if not self.__echoInput:
1900 cmd = self.buff 1899 cmd = self.buff
1901 self.buff = "" 1900 self.buff = ""
1902 elif cmd: 1901 elif cmd:

eric ide

mercurial