31 super(DownloadManagerButton, self).__init__(parent) |
31 super(DownloadManagerButton, self).__init__(parent) |
32 |
32 |
33 self.__manager = WebBrowserWindow.downloadManager() |
33 self.__manager = WebBrowserWindow.downloadManager() |
34 |
34 |
35 self.setObjectName("navigation_download_manager_button") |
35 self.setObjectName("navigation_download_manager_button") |
36 self.setIcon(UI.PixmapCache.getIcon("downloads.png")) |
36 self.setIcon(UI.PixmapCache.getIcon("downloads")) |
37 self.setToolTip(self.tr("Open Download Manager")) |
37 self.setToolTip(self.tr("Open Download Manager")) |
38 self.setToolButtonStyle(Qt.ToolButtonIconOnly) |
38 self.setToolButtonStyle(Qt.ToolButtonIconOnly) |
39 self.setFocusPolicy(Qt.NoFocus) |
39 self.setFocusPolicy(Qt.NoFocus) |
40 self.setAutoRaise(True) |
40 self.setAutoRaise(True) |
41 |
41 |