Remember the docked state of the Web Inspector, so it can be reopened docked if it...
[WebKit-https.git] / WebCore / page / inspector / inspector.js
index dfbd4cb..2025d30 100644 (file)
@@ -397,6 +397,11 @@ WebInspector.focusChanged = function(event)
     this.currentFocusElement = event.target;
 }
 
+WebInspector.setAttachedWindow = function(attached)
+{
+    this.attached = attached;
+}
+
 WebInspector.close = function(event)
 {
     InspectorController.closeWindow();