src/eric7/PluginManager/PluginRepositoryDialog.py

branch
eric7
changeset 10517
aecd5a8c958c
parent 10502
89b8e0a67fde
child 10683
779cda568acb
equal deleted inserted replaced
10516:72baef0baa76 10517:aecd5a8c958c
438 self.__downloadButton.setEnabled(enable and self.__online) 438 self.__downloadButton.setEnabled(enable and self.__online)
439 self.__downloadInstallButton.setEnabled(enable and self.__online) 439 self.__downloadInstallButton.setEnabled(enable and self.__online)
440 self.__installButton.setEnabled(enable) 440 self.__installButton.setEnabled(enable)
441 441
442 self.selectedLabel.setText( 442 self.selectedLabel.setText(
443 self.tr("Selected: <b>{0}</b>") 443 self.tr("Selected: <b>{0}</b>").format(
444 .format(len(self.repositoryList.selectedItems())) 444 len(self.repositoryList.selectedItems())
445 )
445 ) 446 )
446 447
447 def reloadList(self): 448 def reloadList(self):
448 """ 449 """
449 Public method to reload the list of plugins. 450 Public method to reload the list of plugins.

eric ide

mercurial