73 act = menu.addAction(self.tr("Disable JavaScript (temporarily)"), |
73 act = menu.addAction(self.tr("Disable JavaScript (temporarily)"), |
74 self.__toggleJavaScript) |
74 self.__toggleJavaScript) |
75 else: |
75 else: |
76 act = menu.addAction(self.tr("Enable JavaScript (temporarily)"), |
76 act = menu.addAction(self.tr("Enable JavaScript (temporarily)"), |
77 self.__toggleJavaScript) |
77 self.__toggleJavaScript) |
78 if self._currentPage() is not None and \ |
78 if ( |
79 self._currentPage().url().scheme() == "eric": |
79 self._currentPage() is not None and |
|
80 self._currentPage().url().scheme() == "eric" |
|
81 ): |
80 # JavaScript is needed for eric: scheme |
82 # JavaScript is needed for eric: scheme |
81 act.setEnabled(False) |
83 act.setEnabled(False) |
82 |
84 |
83 menu.addSeparator() |
85 menu.addSeparator() |
84 menu.addAction(self.tr("Global Settings")).setFont(boldFont) |
86 menu.addAction(self.tr("Global Settings")).setFont(boldFont) |