355 self.projectBrowser.piBrowser.closeSourceWindow.connect( |
355 self.projectBrowser.piBrowser.closeSourceWindow.connect( |
356 self.viewmanager.closeWindow) |
356 self.viewmanager.closeWindow) |
357 self.projectBrowser.piBrowser.appendStdout.connect(self.appendToStdout) |
357 self.projectBrowser.piBrowser.appendStdout.connect(self.appendToStdout) |
358 self.projectBrowser.piBrowser.appendStderr.connect(self.appendToStderr) |
358 self.projectBrowser.piBrowser.appendStderr.connect(self.appendToStderr) |
359 |
359 |
|
360 self.projectBrowser.ppBrowser.sourceFile[str].connect( |
|
361 self.viewmanager.openSourceFile) |
|
362 self.projectBrowser.ppBrowser.sourceFile[str, int].connect( |
|
363 self.viewmanager.openSourceFile) |
|
364 self.projectBrowser.ppBrowser.closeSourceWindow.connect( |
|
365 self.viewmanager.closeWindow) |
|
366 self.projectBrowser.ppBrowser.appendStdout.connect(self.appendToStdout) |
|
367 self.projectBrowser.ppBrowser.appendStderr.connect(self.appendToStderr) |
|
368 |
360 self.projectBrowser.poBrowser.sourceFile.connect( |
369 self.projectBrowser.poBrowser.sourceFile.connect( |
361 self.viewmanager.openSourceFile) |
370 self.viewmanager.openSourceFile) |
362 self.projectBrowser.poBrowser.closeSourceWindow.connect( |
371 self.projectBrowser.poBrowser.closeSourceWindow.connect( |
363 self.viewmanager.closeWindow) |
372 self.viewmanager.closeWindow) |
364 self.projectBrowser.poBrowser.pixmapEditFile.connect(self.__editPixmap) |
373 self.projectBrowser.poBrowser.pixmapEditFile.connect(self.__editPixmap) |
442 self.projectBrowser.prBrowser.handlePreferencesChanged) |
451 self.projectBrowser.prBrowser.handlePreferencesChanged) |
443 self.preferencesChanged.connect( |
452 self.preferencesChanged.connect( |
444 self.projectBrowser.ptBrowser.handlePreferencesChanged) |
453 self.projectBrowser.ptBrowser.handlePreferencesChanged) |
445 self.preferencesChanged.connect( |
454 self.preferencesChanged.connect( |
446 self.projectBrowser.piBrowser.handlePreferencesChanged) |
455 self.projectBrowser.piBrowser.handlePreferencesChanged) |
|
456 self.preferencesChanged.connect( |
|
457 self.projectBrowser.ppBrowser.handlePreferencesChanged) |
447 self.preferencesChanged.connect( |
458 self.preferencesChanged.connect( |
448 self.projectBrowser.poBrowser.handlePreferencesChanged) |
459 self.projectBrowser.poBrowser.handlePreferencesChanged) |
449 self.preferencesChanged.connect(self.browser.handlePreferencesChanged) |
460 self.preferencesChanged.connect(self.browser.handlePreferencesChanged) |
450 self.preferencesChanged.connect( |
461 self.preferencesChanged.connect( |
451 self.taskViewer.handlePreferencesChanged) |
462 self.taskViewer.handlePreferencesChanged) |