5 |
5 |
6 """ |
6 """ |
7 Module implementing a graphical Python shell. |
7 Module implementing a graphical Python shell. |
8 """ |
8 """ |
9 |
9 |
10 |
|
11 import sys |
10 import sys |
12 import re |
11 import re |
13 |
12 |
14 try: |
13 from enum import Enum |
15 from enum import Enum |
|
16 except ImportError: |
|
17 from ThirdParty.enum import Enum |
|
18 |
14 |
19 from PyQt5.QtCore import pyqtSignal, pyqtSlot, QFileInfo, Qt, QEvent |
15 from PyQt5.QtCore import pyqtSignal, pyqtSlot, QFileInfo, Qt, QEvent |
20 from PyQt5.QtGui import QClipboard, QPalette, QFont |
16 from PyQt5.QtGui import QClipboard, QPalette, QFont |
21 from PyQt5.QtWidgets import ( |
17 from PyQt5.QtWidgets import ( |
22 QDialog, QInputDialog, QApplication, QMenu, QWidget, QHBoxLayout, |
18 QDialog, QInputDialog, QApplication, QMenu, QWidget, QHBoxLayout, |
787 """ |
783 """ |
788 Public slot to show the shell history dialog. |
784 Public slot to show the shell history dialog. |
789 """ |
785 """ |
790 from .ShellHistoryDialog import ShellHistoryDialog |
786 from .ShellHistoryDialog import ShellHistoryDialog |
791 dlg = ShellHistoryDialog(self.__history, self.vm, self) |
787 dlg = ShellHistoryDialog(self.__history, self.vm, self) |
792 if dlg.exec_() == QDialog.Accepted: |
788 if dlg.exec() == QDialog.Accepted: |
793 self.__historyLists[self.clientType], idx = dlg.getHistory() |
789 self.__historyLists[self.clientType], idx = dlg.getHistory() |
794 self.__history = self.__historyLists[self.clientType] |
790 self.__history = self.__historyLists[self.clientType] |
795 self.__setHistoryIndex(index=idx) |
791 self.__setHistoryIndex(index=idx) |
796 |
792 |
797 def clearAllHistories(self): |
793 def clearAllHistories(self): |