290 from PluginManager.PluginManager import PluginManager |
290 from PluginManager.PluginManager import PluginManager |
291 self.pluginManager = PluginManager(self, self.__disabledPlugins, |
291 self.pluginManager = PluginManager(self, self.__disabledPlugins, |
292 develPlugin=plugin) |
292 develPlugin=plugin) |
293 |
293 |
294 splash.showMessage(self.tr("Generating Main User Interface...")) |
294 splash.showMessage(self.tr("Generating Main User Interface...")) |
295 |
|
296 self.codeDocumentationViewer = None |
|
297 self.cooperation = None |
|
298 self.irc = None |
|
299 self.symbolsViewer = None |
|
300 self.browser = None |
|
301 self.templateViewer = None |
|
302 self.numbersViewer = None |
|
303 self.pipWidget = None |
|
304 self.condaWidget = None |
|
305 self.microPythonWidget = None |
|
306 |
295 |
307 self.__webBrowserProcess = None |
296 self.__webBrowserProcess = None |
308 self.__webBrowserClient = None |
297 self.__webBrowserClient = None |
309 self.__webBrowserSAName = QUuid.createUuid().toString()[1:-1] |
298 self.__webBrowserSAName = QUuid.createUuid().toString()[1:-1] |
310 |
299 |