Brian E. Granger 03ebbd6d09 Rename editorwidget -> fileeditor. 8 years ago
..
index.ts 03ebbd6d09 Rename editorwidget -> fileeditor. 8 years ago