@@ -35,12 +35,6 @@
"type": "string",
"enum": ["notebook", "terminal"],
"default": "notebook"
- },
- "kernelShutdown": {
- "title": "Shutdown kernel",
- "description": "Whether to shutdown or not the kernel when closing a console.",
- "type": "boolean",
- "default": false
}
},
"additionalProperties": false,
@@ -942,7 +942,6 @@ export class Notebook extends StaticNotebook {
if (this.isDisposed) {
return;
-
this._activeCell = null;
super.dispose();