84 |
84 |
85 menu.addSeparator() |
85 menu.addSeparator() |
86 menu.addAction(self.tr("Global Settings")).setFont(boldFont) |
86 menu.addAction(self.tr("Global Settings")).setFont(boldFont) |
87 menu.addAction(self.tr("Manage JavaScript Settings"), |
87 menu.addAction(self.tr("Manage JavaScript Settings"), |
88 self.__showJavaScriptSettingsDialog) |
88 self.__showJavaScriptSettingsDialog) |
89 menu.exec_(pos) |
89 menu.exec(pos) |
90 |
90 |
91 @pyqtSlot() |
91 @pyqtSlot() |
92 def __updateIcon(self): |
92 def __updateIcon(self): |
93 """ |
93 """ |
94 Private slot to update the icon. |
94 Private slot to update the icon. |
131 Note: This is the JavaScript subset of the web browser configuration |
131 Note: This is the JavaScript subset of the web browser configuration |
132 page. |
132 page. |
133 """ |
133 """ |
134 from .JavaScriptSettingsDialog import JavaScriptSettingsDialog |
134 from .JavaScriptSettingsDialog import JavaScriptSettingsDialog |
135 dlg = JavaScriptSettingsDialog(self._window) |
135 dlg = JavaScriptSettingsDialog(self._window) |
136 if dlg.exec_() == QDialog.Accepted: |
136 if dlg.exec() == QDialog.Accepted: |
137 self._window.preferencesChanged() |
137 self._window.preferencesChanged() |
138 QTimer.singleShot(500, self.__updateIcon) |
138 QTimer.singleShot(500, self.__updateIcon) |
139 |
139 |
140 def __navigationRequestAccepted(self, url, navigationType, isMainFrame, |
140 def __navigationRequestAccepted(self, url, navigationType, isMainFrame, |
141 page): |
141 page): |