WebBrowser/Download/DownloadManager.py

changeset 4917
682750cc7bd5
parent 4788
7076adec8ddd
child 5389
9b1c800daff3
equal deleted inserted replaced
4915:8081031061a2 4917:682750cc7bd5
95 UI.PixmapCache.getIcon("stopLoading.png"), 95 UI.PixmapCache.getIcon("stopLoading.png"),
96 self.tr("Cancel"), self.__contextMenuCancel) 96 self.tr("Cancel"), self.__contextMenuCancel)
97 menu.addSeparator() 97 menu.addSeparator()
98 menu.addAction( 98 menu.addAction(
99 self.tr("Open Containing Folder"), 99 self.tr("Open Containing Folder"),
100 self.__contextMenuOpenFolder) 100 self.__contextMenuOpenFolder)
101 menu.addSeparator() 101 menu.addSeparator()
102 menu.addAction( 102 menu.addAction(
103 self.tr("Go to Download Page"), 103 self.tr("Go to Download Page"),
104 self.__contextMenuGotoPage) 104 self.__contextMenuGotoPage)
105 menu.addAction( 105 menu.addAction(

eric ide

mercurial