If the webinspector was opened and closed via 'gF' it could not be
opened again with this key combination.
/* 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);