6813 if toolProcData[1] == "replaceSelection": |
6813 if toolProcData[1] == "replaceSelection": |
6814 text = "".join(toolProcData[2]) |
6814 text = "".join(toolProcData[2]) |
6815 toolProcData[0].replace(text) |
6815 toolProcData[0].replace(text) |
6816 toolProcData[0].endUndoAction() |
6816 toolProcData[0].endUndoAction() |
6817 |
6817 |
6818 # now delete the exited procs from the list of running processes |
6818 # now delete the exited processes from the list of running processes |
6819 for proc in exitedProcs: |
6819 for proc in exitedProcs: |
6820 self.toolProcs.remove(proc) |
6820 self.toolProcs.remove(proc) |
6821 t = self.tr("Process '{0}' has exited.\n").format(proc[0]) |
6821 t = self.tr("Process '{0}' has exited.\n").format(proc[0]) |
6822 self.appendToStdout(t) |
6822 self.appendToStdout(t) |
|
6823 proc.deleteLater() |
6823 |
6824 |
6824 def __showPythonDoc(self): |
6825 def __showPythonDoc(self): |
6825 """ |
6826 """ |
6826 Private slot to show the Python 3 documentation. |
6827 Private slot to show the Python 3 documentation. |
6827 """ |
6828 """ |