diff -r 3fc8dfeb6ebe -r b99e7fd55fd3 src/eric7/WebBrowser/WebBrowserJavaScriptConsole.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/WebBrowser/WebBrowserJavaScriptConsole.py Thu Jul 07 11:23:56 2022 +0200
@@ -0,0 +1,110 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2016 - 2022 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing a JavaScript console widget.
+"""
+
+from PyQt6.QtCore import Qt
+from PyQt6.QtGui import QTextCursor
+from PyQt6.QtWidgets import QTextEdit, QMenu
+from PyQt6.QtWebEngineCore import QWebEnginePage
+
+
+class WebBrowserJavaScriptConsole(QTextEdit):
+ """
+ Class implementing a JavaScript console widget.
+ """
+ def __init__(self, parent=None):
+ """
+ Constructor
+
+ @param parent reference to the parent widget (QWidget)
+ """
+ super().__init__(parent)
+ self.setAcceptRichText(False)
+ self.setLineWrapMode(QTextEdit.LineWrapMode.NoWrap)
+ self.setReadOnly(True)
+
+ # create the context menu
+ self.__menu = QMenu(self)
+ self.__menu.addAction(self.tr('Clear'), self.clear)
+ self.__menu.addAction(self.tr('Copy'), self.copy)
+ self.__menu.addSeparator()
+ self.__menu.addAction(self.tr('Select All'), self.selectAll)
+
+ self.setContextMenuPolicy(Qt.ContextMenuPolicy.CustomContextMenu)
+ self.customContextMenuRequested.connect(self.__handleShowContextMenu)
+
+ self.__levelStrings = {
+ QWebEnginePage.JavaScriptConsoleMessageLevel.InfoMessageLevel:
+ self.tr("Info"),
+ QWebEnginePage.JavaScriptConsoleMessageLevel.WarningMessageLevel:
+ self.tr("Warning"),
+ QWebEnginePage.JavaScriptConsoleMessageLevel.ErrorMessageLevel:
+ self.tr("Error"),
+ }
+
+ def __handleShowContextMenu(self, coord):
+ """
+ Private slot to show the context menu.
+
+ @param coord the position of the mouse pointer (QPoint)
+ """
+ coord = self.mapToGlobal(coord)
+ self.__menu.popup(coord)
+
+ def __appendText(self, txt):
+ """
+ Private method to append text to the end.
+
+ @param txt text to insert (string)
+ """
+ tc = self.textCursor()
+ tc.movePosition(QTextCursor.MoveOperation.End)
+ self.setTextCursor(tc)
+ self.insertPlainText(txt)
+ self.ensureCursorVisible()
+
+ def keyPressEvent(self, evt):
+ """
+ Protected method handling key press events.
+
+ @param evt key press event (QKeyEvent)
+ """
+ if evt.modifiers() == Qt.KeyboardModifier.ControlModifier:
+ if evt.key() == Qt.Key.Key_C:
+ self.copy()
+ evt.accept()
+ return
+ elif evt.key() == Qt.Key.Key_A:
+ self.selectAll()
+ evt.accept()
+ return
+
+ def javaScriptConsoleMessage(self, level, message, lineNumber, sourceId):
+ """
+ Public method to show a console message.
+
+ @param level severity
+ @type QWebEnginePage.JavaScriptConsoleMessageLevel
+ @param message message to be shown
+ @type str
+ @param lineNumber line number of an error
+ @type int
+ @param sourceId source URL causing the error
+ @type str
+ """
+ txt = self.tr("[{0}] {1}").format(
+ self.__levelStrings[level], message)
+ self.__appendText(txt)
+
+ if lineNumber:
+ self.__appendText(self.tr(" at line {0}\n").format(lineNumber))
+ else:
+ self.__appendText("\n")
+
+ if sourceId:
+ self.__appendText(self.tr("URL: {0}\n").format(sourceId))
