WebBrowser/StatusBar/JavaScriptIcon.py

changeset 5040
73c784b7b3bc
parent 4966
d246d8568d6c
child 5389
9b1c800daff3
equal deleted inserted replaced
5039:200f12184a43 5040:73c784b7b3bc
81 81
82 menu.addSeparator() 82 menu.addSeparator()
83 menu.addAction(self.tr("Global Settings")).setFont(boldFont) 83 menu.addAction(self.tr("Global Settings")).setFont(boldFont)
84 menu.addAction(self.tr("Manage JavaScript Settings"), 84 menu.addAction(self.tr("Manage JavaScript Settings"),
85 self.__showJavaScriptSettingsDialog) 85 self.__showJavaScriptSettingsDialog)
86 menu.exec(pos) 86 menu.exec_(pos)
87 87
88 @pyqtSlot() 88 @pyqtSlot()
89 def __updateIcon(self): 89 def __updateIcon(self):
90 """ 90 """
91 Private slot to update the icon. 91 Private slot to update the icon.

eric ide

mercurial