[Webkit-unassigned] [Bug 189463] New: [GTK] Mark text in javascript alerts as selectable

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=189463

            Bug ID: 189463
           Summary: [GTK] Mark text in javascript alerts as selectable
           Product: WebKit
           Version: Other
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: benjamin at sipsolutions.net
                CC: bugs-noreply at webkitgtk.org

Alerts from Javascript are currently not selectable, making it impossible to copy the text from them. It may be useful to copy text from such alerts for various reasons (e.g. passing on to support, copying into a translation engine) and doing so should be easy.

Michael said that this would require changes in WebKitScriptDialogGtk.cpp and WebKitWebViewBase.cpp (https://gitlab.gnome.org/GNOME/epiphany/issues/528). I expect it should be as simple as setting the "selectable" property of GtkLabel.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20180909/e4425dcb/attachment.html>