eric6/WebBrowser/Download/DownloadManagerButton.py

changeset 7533
88261c96484b
parent 7360
9190402e4505
child 7781
607a6098cb44
equal deleted inserted replaced
7532:1358e9d67a1c 7533:88261c96484b
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

eric ide

mercurial