Index: third_party/WebKit/Source/core/inspector/browser_protocol.json |
diff --git a/third_party/WebKit/Source/core/inspector/browser_protocol.json b/third_party/WebKit/Source/core/inspector/browser_protocol.json |
index 6527abc46147dfce17a799ed161709ebaff09425..56f67c9263bed7776b2d40531bb43e4867bf7131 100644 |
--- a/third_party/WebKit/Source/core/inspector/browser_protocol.json |
+++ b/third_party/WebKit/Source/core/inspector/browser_protocol.json |
@@ -3416,7 +3416,7 @@ |
"name": "sendMessageToTarget", |
"description": "Sends protocol message to the target with given id.", |
"parameters": [ |
- { "name": "targetId", "type": "string" }, |
+ { "name": "targetId", "$ref": "TargetID" }, |
{ "name": "message", "type": "string" } |
] |
}, |
@@ -4551,5 +4551,74 @@ |
] |
} |
] |
+ }, |
+ { |
+ "domain": "UI", |
pfeldman
2017/03/21 17:36:02
Let's rename this to Browser, we might have more B
jzfeng
2017/03/22 06:56:09
Done.
|
+ "description": "The UI domain defines methods and events for browser UI managing.", |
+ "experimental": true, |
+ "types": [ |
+ { |
+ "id": "WindowID", |
+ "type": "integer" |
+ } |
+ ], |
+ "commands": [ |
+ { |
+ "name": "getWindowFromTarget", |
pfeldman
2017/03/21 17:36:02
getWindowForTarget
jzfeng
2017/03/22 06:56:09
Done.
|
+ "description": "Get the browser window that contains the devtools target.", |
+ "parameters": [ |
+ { "name": "targetId", "$ref": "Target.TargetID", "description": "Devtools agent host id." } |
+ ], |
+ "returns": [ |
+ { "name": "windowId", "$ref": "WindowID", "description": "Browser window id." } |
+ ] |
+ }, |
+ { |
+ "name": "maximizeWindow", |
pfeldman
2017/03/21 17:36:02
If minimized/maximized state is mutually exclusive
jzfeng
2017/03/22 06:56:09
Make the method interface the same as chrome.windo
|
+ "description": "Maximize the browser window.", |
+ "parameters": [ |
+ { "name": "windowId", "$ref": "WindowID", "description": "Browser window id." } |
+ ] |
+ }, |
+ { |
+ "name": "minimizeWindow", |
+ "description": "Minimize the browser window.", |
+ "parameters": [ |
+ { "name": "windowId", "$ref": "WindowID", "description": "Browser window id." } |
+ ] |
+ }, |
+ { |
+ "name": "setWindowFullscreen", |
+ "description": "Change the browser window fullscreen state.", |
+ "parameters": [ |
+ { "name": "windowId", "$ref": "WindowID", "description": "Browser window id." }, |
+ { "name": "fullscreen", "type": "boolean" } |
+ ] |
+ }, |
+ { |
+ "name": "setWindowBounds", |
+ "description": "Set position and/or size of the browser window.", |
+ "parameters": [ |
+ { "name": "windowId", "$ref": "WindowID", "description": "Browser window id." }, |
+ { "name": "left", "type": "integer", "optional": true, "description": "The offset from the left edge of the screen to move the window to in pixels."}, |
+ { "name": "top", "type": "integer", "optional": true, "description": "The offset from the top edge of the screen to move the window to in pixels."}, |
+ { "name": "width", "type": "integer", "optional": true, "description": "The width to resize the window to in pixels."}, |
+ { "name": "height", "type": "integer", "optional": true, "description": "The height to resize the window to in pixels."} |
+ ] |
+ }, |
+ { |
+ "name": "getWindowBounds", |
+ "description": "Get position and size of the browser window.", |
+ "parameters": [ |
+ { "name": "windowId", "$ref": "WindowID", "description": "Browser window id." } |
+ ], |
+ "returns": [ |
+ { "name": "left", "type": "integer", "description": "The offset from the left edge of the screen to move the window to in pixels."}, |
+ { "name": "top", "type": "integer", "description": "The offset from the top edge of the screen to move the window to in pixels."}, |
+ { "name": "width", "type": "integer", "description": "The width to resize the window to in pixels."}, |
+ { "name": "height", "type": "integer", "description": "The height to resize the window to in pixels."} |
+ ] |
+ } |
+ ] |
}] |
} |