eric6/WebBrowser/GreaseMonkey/GreaseMonkeyAddScriptDialog.py

changeset 8265
0090cfa83159
parent 8218
7c09585bd960
equal deleted inserted replaced
8264:f95dde35d0ab 8265:0090cfa83159
99 else: 99 else:
100 WebBrowserWindow.showNotification( 100 WebBrowserWindow.showNotification(
101 UI.PixmapCache.getPixmap("greaseMonkey48"), 101 UI.PixmapCache.getPixmap("greaseMonkey48"),
102 self.tr("GreaseMonkey Script Installation"), 102 self.tr("GreaseMonkey Script Installation"),
103 msg, 103 msg,
104 kind=NotificationTypes.Critical, 104 kind=NotificationTypes.CRITICAL,
105 timeout=0) 105 timeout=0)

eric ide

mercurial