diff -r 234702836442 -r 89b8e0a67fde src/eric7/PluginManager/PluginRepositoryDialog.py
--- a/src/eric7/PluginManager/PluginRepositoryDialog.py Sun Jan 14 12:43:24 2024 +0100
+++ b/src/eric7/PluginManager/PluginRepositoryDialog.py Sun Jan 14 13:02:05 2024 +0100
@@ -81,7 +81,6 @@
Error = 4
-# TODO: add "Selected:" entry
class PluginRepositoryWidget(QWidget, Ui_PluginRepositoryDialog):
"""
Class implementing a dialog showing the available plugins.
@@ -262,6 +261,7 @@
self.__hiddenPlugins = Preferences.getPluginManager("HiddenPlugins")
+ self.on_repositoryList_itemSelectionChanged()
self.__populateList()
def __reachabilityChanged(self, reachability):
@@ -439,6 +439,11 @@
self.__downloadInstallButton.setEnabled(enable and self.__online)
self.__installButton.setEnabled(enable)
+ self.selectedLabel.setText(
+ self.tr("Selected: <b>{0}</b>")
+ .format(len(self.repositoryList.selectedItems()))
+ )
+
def reloadList(self):
"""
Public method to reload the list of plugins.
