Resize DevTools target frames.

third_party/WebKit/Source/core/inspector/browser_protocol.json

 {
     "version": { "major": "1", "minor": "1" },
     "domains": [{
         "domain": "Inspector",
         "hidden": true,
         "types": [],
         "commands": [
             {
                 "name": "enable",
                 "description": "Enables inspector domain notifications.",
@@ skipping 4301 matching lines @@
                 "returns": [
                     { "name": "success", "type": "boolean" }
                 ],
                 "handlers": ["browser"]
             },
             {
                 "name": "createTarget",
                 "description": "Creates a new page.",
                 "parameters": [
                     { "name": "url", "type": "string", "description": "The initial URL the page will be navigated to." },
-                    { "name": "width", "type": "integer", "description": "Window width (headless chrome only).", "optional": true },
-                    { "name": "height", "type": "integer", "description": "Window height (headless chrome only).", "optional": true },
+                    { "name": "width", "type": "integer", "description": "Web contents width.", "optional": true },
+                    { "name": "height", "type": "integer", "description": "Web contents height.", "optional": true },
                     { "name": "browserContextId", "$ref": "BrowserContextID", "description": "The browser context to create the page in (headless chrome only).", "optional": true }
                 ],
                 "returns": [
                     { "name": "targetId", "$ref": "TargetID", "description": "The id of the page opened." }
                 ],
                 "handlers": ["browser"]
             },
             {
                 "name": "closeTarget",
                 "description": "Closes the target. If the target is a page that gets closed too.",
                 "parameters": [
                     { "name": "targetId", "$ref": "TargetID" }
                 ],
                 "returns": [
                     { "name": "success", "type": "boolean" }
                 ],
                 "handlers": ["browser"]
             },
             {
                 "name": "getTargets",
                 "returns": [
                     { "name": "targetInfo", "type": "array", "items": { "$ref": "TargetInfo" } }
                 ],
                 "description": "Returns target information for all potential targets.",
                 "handlers": ["browser"]
             },
             {
+                "name": "getWebContentsSize",

[Sami, 2016/08/09 16:45:44]

Would get/setFrameSize or get/setMainFrameSize work in terms of naming?
WebContents is sort of a weird internal thing.

[Eric Seckler, 2016/08/10 11:12:26]

Done.

+                "description": "Returns the size of the WebContents of a target.",
+                "parameters": [
+                    { "name": "targetId", "$ref": "TargetID" }
+                ],
+                "returns": [
+                    { "name": "width", "type": "integer", "description": "Web contents width." },

[Sami, 2016/08/09 16:45:44]

I'm guessing these are physical pixels -- still would be good to document it.

[Eric Seckler, 2016/08/10 11:12:26]

Actually, AFAICT, these are DIPs. Done.

+                    { "name": "height", "type": "integer", "description": "Web contents height." }
+                ],
+                "handlers": ["browser"]
+            },
+            {
+                "name": "setWebContentsSize",
+                "description": "Resize the WebContents of a target.",
+                "parameters": [
+                    { "name": "targetId", "$ref": "TargetID" },
+                    { "name": "width", "type": "integer", "description": "Web contents width." },
+                    { "name": "height", "type": "integer", "description": "Web contents height." }
+                ],
+                "handlers": ["browser"]
+            },
+            {
                 "name": "attach",
                 "description": "Attaches to the target with given id.",
                 "parameters": [
                     {"name": "targetId", "$ref": "TargetID", "description": "Target id." }
                 ],
                 "handlers": ["browser"]
             },
             {
                 "name": "detach",
                 "description": "Detaches from the target with given id.",
@@ skipping 96 matching lines @@
                 "description": "Informs that port was successfully bound and got a specified connection id.",
                 "parameters": [
                     {"name": "port", "type": "integer", "description": "Port number that was successfully bound." },
                     {"name": "connectionId", "type": "string", "description": "Connection id to be used." }
                 ],
                 "handlers": ["browser"]
             }
         ]
     }]
 }