|
@@ -37,6 +37,13 @@
|
|
|
"type": "string",
|
|
|
"enum": ["notebook", "terminal"],
|
|
|
"default": "notebook"
|
|
|
+ },
|
|
|
+ "kernelActivity": {
|
|
|
+ "title": "Kernel activity",
|
|
|
+ "description": "Whether the console should show all or minimal kernel activity",
|
|
|
+ "type": "string",
|
|
|
+ "enum": ["all", "minimal"],
|
|
|
+ "default": "minimal"
|
|
|
}
|
|
|
},
|
|
|
"additionalProperties": false,
|