ylproj/jupyterlab @ dda4944e560ddb3789b875793199d9efa6c75fe9

Afshin Darian 00c5afc5b5 Fix setting editor ID.		7 år sedan
..
index.ts	00c5afc5b5 Fix setting editor ID.	7 år sedan
plugineditor.ts	26979bd909 Fix raw editor rendering.	7 år sedan
pluginlist.ts	47c1320c5a Update plugin list.	7 år sedan
raweditor.ts	4d4f0db46a Add banners to raw editor.	7 år sedan
settingeditor.ts	3b9eb7dcca Bug fix: setting relative sizes did not work on the first try.	7 år sedan
splitpanel.ts	e2db9fba20 Move temporary `SplitPanel` to its own file.	7 år sedan
tableeditor.ts	bf86c185df Update styles.	7 år sedan