ylproj/jupyterlab @ a3909bf15ce485f8251bc4714cf20a3f26d6dec6

Afshin Darian ed103db8f3 Bug fix: JSON editor was changing lossy values to `null`.		vor 7 Jahren
..
editor.ts	e555ca83ac strict null checks in codemirror	vor 7 Jahren
factory.ts	9d85ed8165 Create the packages directory	vor 8 Jahren
index.ts	85f1f33e44 Theme refactor.	vor 8 Jahren
jsoneditor.ts	ed103db8f3 Bug fix: JSON editor was changing lossy values to `null`.	vor 7 Jahren
mimetype.ts	d9be3abc77 Use services nbformat in codeeditor	vor 8 Jahren
widget.ts	9fa3106a5c strict null checks in codeeditor	vor 7 Jahren