[Webkit-unassigned] [Bug 181126] New: [GTK] webkit_web_view_get_inspector() needs to be called, otherwise inspector does not close.

[bugzilla-daemon at webkit.org]

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

            Bug ID: 181126
           Summary: [GTK] webkit_web_view_get_inspector() needs to be
                    called, otherwise inspector does not close.
           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: cedric.bellegarde at adishatz.org
                CC: bugs-noreply at webkitgtk.org

When enabling inspector with "developer-extras", the inspector window opened from default webkit menu can't be closed.

Adding a webkit_web_view_get_inspector() call fixes the issue. (Was not present in 2.16)

Exemple:
#!/usr/bin/python
from gi.repository import WebKit2
from gi.repository import Gtk

def close(window):
        Gtk.main_quit()

def main():
        Gtk.init()

        view = WebKit2.WebView()
        settings = view.get_settings()
        settings.set_property("enable-developer-extras", True)
        view.load_uri("http://google.fr")
        window = Gtk.Window()
        window.add(view)
        window.connect("destroy", close)
        window.show_all()

        Gtk.main()

main()

-- 
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/20171222/faed1154/attachment.html>