4299 archiveFile.close() |
4299 archiveFile.close() |
4300 |
4300 |
4301 if not archive in self.pdata["OTHERS"]: |
4301 if not archive in self.pdata["OTHERS"]: |
4302 self.appendFile(archive) |
4302 self.appendFile(archive) |
4303 |
4303 |
4304 E5MessageBox.information(self.ui, |
4304 if self.ui.notificationsEnabled(): |
4305 self.trUtf8("Create Plugin Archive"), |
4305 self.ui.showNotification(UI.PixmapCache.getPixmap("pluginArchive48.png"), |
4306 self.trUtf8("""<p>The eric5 plugin archive file <b>{0}</b> was """ |
4306 self.trUtf8("Create Plugin Archive"), |
4307 """created successfully.</p>""").format(archive)) |
4307 self.trUtf8("""<p>The eric5 plugin archive file <b>{0}</b> was """ |
|
4308 """created successfully.</p>""")\ |
|
4309 .format(os.path.basename(archive))) |
|
4310 else: |
|
4311 E5MessageBox.information(self.ui, |
|
4312 self.trUtf8("Create Plugin Archive"), |
|
4313 self.trUtf8("""<p>The eric5 plugin archive file <b>{0}</b> was """ |
|
4314 """created successfully.</p>""").format(archive)) |
4308 |
4315 |
4309 def __pluginCreateSnapshotArchive(self): |
4316 def __pluginCreateSnapshotArchive(self): |
4310 """ |
4317 """ |
4311 Private slot to create an eric5 plugin archive snapshot release. |
4318 Private slot to create an eric5 plugin archive snapshot release. |
4312 """ |
4319 """ |