68 # initialize the APIs manager |
68 # initialize the APIs manager |
69 self.__apisManager = APIsManager(parent=self) |
69 self.__apisManager = APIsManager(parent=self) |
70 |
70 |
71 # initialize the debug server and shell widgets |
71 # initialize the debug server and shell widgets |
72 self.__debugServer = DebugServer(originalPathString, |
72 self.__debugServer = DebugServer(originalPathString, |
73 preventPassiveDebugging=True) |
73 preventPassiveDebugging=True, |
|
74 parent=self) |
74 self.__shell = Shell(self.__debugServer, self, None, True, self) |
75 self.__shell = Shell(self.__debugServer, self, None, True, self) |
75 self.__searchWidget = SearchWidget(self.__shell, self, showLine=True) |
76 self.__searchWidget = SearchWidget(self.__shell, self, showLine=True) |
76 |
77 |
77 centralWidget = QWidget() |
78 centralWidget = QWidget() |
78 layout = QVBoxLayout() |
79 layout = QVBoxLayout() |