ylproj/jupyterlab @ dda4944e560ddb3789b875793199d9efa6c75fe9

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