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()
This one, I can reproduce. 2.18.3 is fine, trunk is not.
We could probably fix it by calling webkitWebInspectorCreate during WebKitWebView construction, instead of doing it lazily, but there's probably a better way, if we could figure out what changed here.
I can't reproduce this.
(In reply to Carlos Garcia Campos from comment #3) > I can't reproduce this. Did you try the example in the first comment? MiniBrowser and epiphany both calls webkit_web_view_get_inspector(), which avoids the problem, so you won't be able to reproduce there.
I broke this in r218089
Created attachment 335176 [details] Patch
I can reproduce this with Dinghy (https://github.com/aperezdc/dinghy), which is is a WPE launcher/browser. It can be built with against WebKitGTK+ as well passing “-DDY_USE_WEBKITGTK=ON” to CMake. The issue is present in both ports.
Committed r229396: <https://trac.webkit.org/changeset/229396>
<rdar://problem/38265943>
<rdar://problem/38265944>