Index: Source/devtools/protocol.json |
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json |
index 62734da5e865f147c84aaaf054f554820c4b6d68..2bacbfc605f297760b00436630e64c97ff748410 100644 |
--- a/Source/devtools/protocol.json |
+++ b/Source/devtools/protocol.json |
@@ -2347,6 +2347,7 @@ |
{ "name": "showRulers", "type": "boolean", "optional": true, "description": "Whether the rulers should be shown (default: false)." }, |
{ "name": "showExtensionLines", "type": "boolean", "optional": true, "description": "Whether the extension lines from node to the rulers should be shown (default: false)." }, |
{ "name": "showLayoutEditor", "type": "boolean", "optional": true, "hidden": true}, |
+ { "name": "displayAsMaterial", "type": "boolean", "optional": true, "hidden": true}, |
{ "name": "contentColor", "$ref": "RGBA", "optional": true, "description": "The content box highlight fill color (default: transparent)." }, |
{ "name": "paddingColor", "$ref": "RGBA", "optional": true, "description": "The padding highlight fill color (default: transparent)." }, |
{ "name": "borderColor", "$ref": "RGBA", "optional": true, "description": "The border highlight fill color (default: transparent)." }, |