--- 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): """