DevTools: added "overlayContents" mode, where DevTools content is placed around and underneath inse…

Source/devtools/front_end/externs.js

Index: Source/devtools/front_end/externs.js
diff --git a/Source/devtools/front_end/externs.js b/Source/devtools/front_end/externs.js
index cfaaed4c5ffed14c5156e6f533b4069f8a3d4f9b..7813854c3b663e7a69b4c395c61f08ddd0e94a53 100644
--- a/Source/devtools/front_end/externs.js
+++ b/Source/devtools/front_end/externs.js
@@ -229,8 +229,13 @@ InspectorFrontendHostAPI.prototype.addFileSystem = function(callback) {}
 InspectorFrontendHostAPI.prototype.append = function(url, content, callback) {}
 /** @param {!Function=} callback callback */
 InspectorFrontendHostAPI.prototype.indexPath = function(requestId, fileSystemPath, callback) {}
-/** @param {!Function=} callback callback */
-InspectorFrontendHostAPI.prototype.setWindowBounds = function(x, y, callback) {}
+/**
+ * @param top
+ * @param left
+ * @param bottom
+ * @param right
+ */
+InspectorFrontendHostAPI.prototype.setContentsInsets = function(top, left, bottom, right) {}
 /** @param {!Function=} callback callback */
 InspectorFrontendHostAPI.prototype.moveWindowBy = function(x, y, callback) {}
 /** @param {!Function=} callback callback */