Add "codespaces"

chrmarti · chrmarti · commit e5ff305c7a75 · 2020-06-04T10:43:15.000+02:00
diff --git a/extensions/configuration-editing/schemas/devContainer.schema.json b/extensions/configuration-editing/schemas/devContainer.schema.json
@@ -91,6 +91,10 @@
 				"devPort": {
 					"type": "integer",
 					"description": "The port VS Code can use to connect to its backend."
+				},
+				"codespaces": {
+					"type": "object",
+					"description": "Codespaces-specific configuration."
 				}
 			}
 		},

Original file line number	Diff line number	Diff line change
`@@ -91,6 +91,10 @@`
`91`	`91`	`"devPort": {`
`92`	`92`	`"type": "integer",`
`93`	`93`	`"description": "The port VS Code can use to connect to its backend."`
	`94`	`+ },`
	`95`	`+ "codespaces": {`
	`96`	`+ "type": "object",`
	`97`	`+ "description": "Codespaces-specific configuration."`
`94`	`98`	`}`
`95`	`99`	`}`
`96`	`100`	`},`