diff -r 4e8b98454baa -r 800c432b34c8 eric7/WebBrowser/Download/DownloadManagerButton.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/eric7/WebBrowser/Download/DownloadManagerButton.py Sat May 15 18:45:04 2021 +0200
@@ -0,0 +1,63 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2018 - 2021 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing a tool button for the download manager.
+"""
+
+from PyQt5.QtCore import pyqtSlot, Qt
+
+from E5Gui.E5ToolButton import E5ToolButton
+
+import UI.PixmapCache
+
+from WebBrowser.WebBrowserWindow import WebBrowserWindow
+
+
+class DownloadManagerButton(E5ToolButton):
+ """
+ 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):
+ """
+ Private slot to update the button state.
+ """
+ self.setVisible(bool(self.__manager.downloadsCount()))
+ count = self.__manager.activeDownloadsCount()
+ if bool(count):
+ self.setBadgeText(str(count))
+ else:
+ self.setBadgeText("")
