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: |