Brian E. Granger 03ebbd6d09 Rename editorwidget -> fileeditor. vor 8 Jahren
..
src 03ebbd6d09 Rename editorwidget -> fileeditor. vor 8 Jahren
index.css 351b494ef4 Update examples vor 8 Jahren
index.html d515cd4fd6 Update examples vor 8 Jahren
main.py d515cd4fd6 Update examples vor 8 Jahren
package.json 03ebbd6d09 Rename editorwidget -> fileeditor. vor 8 Jahren
sample.md 89586b010f Make test not generate invalid ids vor 8 Jahren
tsconfig.json 8d13845b88 Clean up the examples vor 8 Jahren
webpack.config.js 8d13845b88 Clean up the examples vor 8 Jahren