Fixed webinspector not opend on second attempt.
authorDaniel Carl <danielcarl@gmx.de>
Tue, 11 Apr 2017 10:05:11 +0000 (12:05 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Tue, 11 Apr 2017 10:05:11 +0000 (12:05 +0200)
If the webinspector was opened and closed via 'gF' it could not be
opened again with this key combination.

src/normal.c

index e71a4f1..be5e987 100644 (file)
@@ -767,7 +767,7 @@ static VbResult normal_view_inspector(Client *c, const NormalCmdInfo *info)
 
     /* Try to get the inspected uri to identify if the inspector is shown at
      * the time or not. */
-    if (webkit_web_inspector_get_inspected_uri(inspector)) {
+    if (webkit_web_inspector_is_attached(inspector)) {
         webkit_web_inspector_close(inspector);
     } else if (webkit_settings_get_enable_developer_extras(settings)) {
         webkit_web_inspector_show(inspector);