ylproj/jupyterlab @ d6390a1f04d9d6862eca67355b02e0062775ce38

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