239 ## self.__searchDock = QDockWidget(self.tr("Search"), self) |
239 ## self.__searchDock = QDockWidget(self.tr("Search"), self) |
240 ## self.__searchDock.setObjectName("SearchWindow") |
240 ## self.__searchDock.setObjectName("SearchWindow") |
241 ## self.__searchDock.setWidget(self.__searchWindow) |
241 ## self.__searchDock.setWidget(self.__searchWindow) |
242 ## self.addDockWidget(Qt.LeftDockWidgetArea, self.__searchDock) |
242 ## self.addDockWidget(Qt.LeftDockWidgetArea, self.__searchDock) |
243 ## |
243 ## |
|
244 # JavaScript Console window |
|
245 from .WebBrowserJavaScriptConsole import \ |
|
246 WebBrowserJavaScriptConsole |
|
247 self.__javascriptConsole = WebBrowserJavaScriptConsole(self) |
|
248 self.__javascriptConsoleDock = QDockWidget( |
|
249 self.tr("JavaScript Console")) |
|
250 self.__javascriptConsoleDock.setObjectName("JavascriptConsole") |
|
251 self.__javascriptConsoleDock.setAllowedAreas( |
|
252 Qt.BottomDockWidgetArea | Qt.TopDockWidgetArea) |
|
253 self.__javascriptConsoleDock.setWidget(self.__javascriptConsole) |
|
254 self.addDockWidget(Qt.BottomDockWidgetArea, |
|
255 self.__javascriptConsoleDock) |
|
256 |
244 if Preferences.getWebBrowser("SaveGeometry"): |
257 if Preferences.getWebBrowser("SaveGeometry"): |
245 g = Preferences.getGeometry("WebBrowserGeometry") |
258 g = Preferences.getGeometry("WebBrowserGeometry") |
246 else: |
259 else: |
247 g = QByteArray() |
260 g = QByteArray() |
248 if g.isEmpty(): |
261 if g.isEmpty(): |
1752 )) |
1765 )) |
1753 if not self.__initShortcutsOnly: |
1766 if not self.__initShortcutsOnly: |
1754 self.zoomValuesAct.triggered.connect(self.__showZoomValuesDialog) |
1767 self.zoomValuesAct.triggered.connect(self.__showZoomValuesDialog) |
1755 self.__actions.append(self.zoomValuesAct) |
1768 self.__actions.append(self.zoomValuesAct) |
1756 |
1769 |
|
1770 self.showJavaScriptConsoleAct = E5Action( |
|
1771 self.tr('JavaScript Console'), |
|
1772 self.tr('JavaScript Console'), |
|
1773 0, 0, self, 'webbrowser_show_javascript_console') |
|
1774 self.showJavaScriptConsoleAct.setStatusTip(self.tr( |
|
1775 'Toggle the JavaScript console window')) |
|
1776 self.showJavaScriptConsoleAct.setWhatsThis(self.tr( |
|
1777 """<b>JavaScript Console</b>""" |
|
1778 """<p>This toggles the JavaScript console window.</p>""" |
|
1779 )) |
|
1780 if not self.__initShortcutsOnly: |
|
1781 self.showJavaScriptConsoleAct.triggered.connect( |
|
1782 self.__toggleJavaScriptConsole) |
|
1783 self.__actions.append(self.showJavaScriptConsoleAct) |
|
1784 |
1757 self.backAct.setEnabled(False) |
1785 self.backAct.setEnabled(False) |
1758 self.forwardAct.setEnabled(False) |
1786 self.forwardAct.setEnabled(False) |
1759 |
1787 |
1760 # now read the keyboard shortcuts for the actions |
1788 # now read the keyboard shortcuts for the actions |
1761 Shortcuts.readShortcuts( |
1789 Shortcuts.readShortcuts( |
1923 ## menu.addAction(self.toolsMonitorAct) |
1951 ## menu.addAction(self.toolsMonitorAct) |
1924 |
1952 |
1925 menu = mb.addMenu(self.tr("&Window")) |
1953 menu = mb.addMenu(self.tr("&Window")) |
1926 menu.setTearOffEnabled(True) |
1954 menu.setTearOffEnabled(True) |
1927 menu.addAction(self.showDownloadManagerAct) |
1955 menu.addAction(self.showDownloadManagerAct) |
|
1956 menu.addAction(self.showJavaScriptConsoleAct) |
1928 ## if WebBrowserWindow.UseQtHelp: |
1957 ## if WebBrowserWindow.UseQtHelp: |
1929 ## menu.addSeparator() |
1958 ## menu.addSeparator() |
1930 ## menu.addAction(self.showTocAct) |
1959 ## menu.addAction(self.showTocAct) |
1931 ## menu.addAction(self.showIndexAct) |
1960 ## menu.addAction(self.showIndexAct) |
1932 ## menu.addAction(self.showSearchAct) |
1961 ## menu.addAction(self.showSearchAct) |
3461 editor = MiniEditor(parent=self) |
3490 editor = MiniEditor(parent=self) |
3462 editor.setText(src, "Html") |
3491 editor.setText(src, "Html") |
3463 editor.setLanguage("dummy.html") |
3492 editor.setLanguage("dummy.html") |
3464 editor.show() |
3493 editor.show() |
3465 |
3494 |
|
3495 def __toggleJavaScriptConsole(self): |
|
3496 """ |
|
3497 Private slot to toggle the JavaScript console. |
|
3498 """ |
|
3499 if self.__javascriptConsoleDock.isVisible(): |
|
3500 self.__javascriptConsoleDock.hide() |
|
3501 else: |
|
3502 self.__javascriptConsoleDock.show() |
|
3503 |
|
3504 def javascriptConsole(self): |
|
3505 """ |
|
3506 Public method to get a reference to the JavaScript console widget. |
|
3507 |
|
3508 @return reference to the JavaScript console |
|
3509 @rtype WebBrowserJavaScriptConsole |
|
3510 """ |
|
3511 return self.__javascriptConsole |
|
3512 |
3466 @classmethod |
3513 @classmethod |
3467 def icon(cls, url): |
3514 def icon(cls, url): |
3468 """ |
3515 """ |
3469 Class method to get the icon for an URL. |
3516 Class method to get the icon for an URL. |
3470 |
3517 |