WebBrowser/WebBrowserWindow.py

branch
QtWebEngine
changeset 4822
f1b9899847dc
parent 4820
f38e4fb83ecd
child 4825
b5fb58f3830b
equal deleted inserted replaced
4821:0ce09efa00da 4822:f1b9899847dc
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

eric ide

mercurial