Index: third_party/WebKit/Source/devtools/protocol.json |
diff --git a/third_party/WebKit/Source/devtools/protocol.json b/third_party/WebKit/Source/devtools/protocol.json |
index ff4a1b01cf04828dfc75ed55abd729b297bd5c36..941e7e0a461b682487474222a79d8d7556ffc4a3 100644 |
--- a/third_party/WebKit/Source/devtools/protocol.json |
+++ b/third_party/WebKit/Source/devtools/protocol.json |
@@ -2920,6 +2920,13 @@ |
], |
"description": "Called when distrubution is changed.", |
"hidden": true |
+ }, |
+ { |
+ "name": "nodeHighlightedInOverlay", |
dgozman
2015/10/13 01:42:54
We don't mention overlay in DOM domain. Let's call
sergeyv
2015/10/13 21:24:18
Done.
|
+ "parameters": [ |
+ {"name": "nodeId", "$ref": "NodeId"} |
+ ], |
+ "hidden": true |
} |
] |
}, |