PluginManager/PluginInstallDialog.py

changeset 564
b3d966393ba9
parent 465
c20e25deb33a
child 791
9ec2ac20e54e
equal deleted inserted replaced
563:e35d2cda9a74 564:b3d966393ba9
213 self.summaryEdit.append(msg) 213 self.summaryEdit.append(msg)
214 if restart: 214 if restart:
215 self.__restartNeeded = True 215 self.__restartNeeded = True
216 self.summaryEdit.append("\n") 216 self.summaryEdit.append("\n")
217 if res: 217 if res:
218 self.summaryEdit.append(self.trUtf8(\ 218 self.summaryEdit.append(self.trUtf8(
219 """The plugins were installed successfully.""")) 219 """The plugins were installed successfully."""))
220 else: 220 else:
221 self.summaryEdit.append(self.trUtf8(\ 221 self.summaryEdit.append(self.trUtf8(
222 """Some plugins could not be installed.""")) 222 """Some plugins could not be installed."""))
223 223
224 return res 224 return res
225 225
226 def __installPlugin(self, archiveFilename): 226 def __installPlugin(self, archiveFilename):

eric ide

mercurial