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