WebBrowser/WebBrowserTabWidget.py

changeset 5627
fcffc4cd5e5c
parent 5558
858abfcbaf28
child 5736
000ea446ff4b
equal deleted inserted replaced
5626:0b335d29dd51 5627:fcffc4cd5e5c
197 ## not Globals.isWindowsPlatform() or qVersion() >= "5.7.0"): 197 ## not Globals.isWindowsPlatform() or qVersion() >= "5.7.0"):
198 if not Globals.isWindowsPlatform() and qVersion() >= "5.7.0": 198 if not Globals.isWindowsPlatform() and qVersion() >= "5.7.0":
199 self.__tabContextMenu.addAction( 199 self.__tabContextMenu.addAction(
200 UI.PixmapCache.getIcon("print.png"), 200 UI.PixmapCache.getIcon("print.png"),
201 self.tr('Print'), self.__tabContextMenuPrint) 201 self.tr('Print'), self.__tabContextMenuPrint)
202 # TODO: check this on macOS
203 if Globals.isLinuxPlatform() or qVersion() >= "5.7.0": 202 if Globals.isLinuxPlatform() or qVersion() >= "5.7.0":
204 self.__tabContextMenu.addAction( 203 self.__tabContextMenu.addAction(
205 UI.PixmapCache.getIcon("printPdf.png"), 204 UI.PixmapCache.getIcon("printPdf.png"),
206 self.tr('Print as PDF'), self.__tabContextMenuPrintPdf) 205 self.tr('Print as PDF'), self.__tabContextMenuPrintPdf)
207 self.__tabContextMenu.addSeparator() 206 self.__tabContextMenu.addSeparator()

eric ide

mercurial