| 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)." },
|
|
|