diff -r e9e7eca7efee -r bf71ee032bb4 src/eric7/WebBrowser/Download/DownloadManagerButton.py
--- a/src/eric7/WebBrowser/Download/DownloadManagerButton.py Wed Jul 13 11:16:20 2022 +0200
+++ b/src/eric7/WebBrowser/Download/DownloadManagerButton.py Wed Jul 13 14:55:47 2022 +0200
@@ -20,36 +20,37 @@
"""
Class implementing a tool button for the download manager.
"""
+
def __init__(self, parent=None):
"""
Constructor
-
+
@param parent reference to the parent widget
@type QWidget
"""
super().__init__(parent)
-
+
self.__manager = WebBrowserWindow.downloadManager()
-
+
self.setObjectName("navigation_download_manager_button")
self.setIcon(UI.PixmapCache.getIcon("downloads"))
self.setToolTip(self.tr("Open Download Manager"))
self.setToolButtonStyle(Qt.ToolButtonStyle.ToolButtonIconOnly)
self.setFocusPolicy(Qt.FocusPolicy.NoFocus)
self.setAutoRaise(True)
-
+
self.clicked.connect(self.__buttonClicked)
self.__manager.downloadsCountChanged.connect(self.__updateState)
-
+
self.__updateState()
-
+
@pyqtSlot()
def __buttonClicked(self):
"""
Private slot handling a user clicking the button.
"""
self.__manager.show()
-
+
@pyqtSlot()
def __updateState(self):
"""
