import {Editor} from "./es6_modules/editor/editor"

/* Create theEditor and make it available to the general namespace, so that all
the non-editor-specific pieces of JavaScript that are not written in ES6 can get
access to it.*/

let theEditor = new Editor()
window.theEditor = theEditor

@@ -115,116 +115,10 @@
 pace
-, so that all%0Athe non-editor-specific pieces of JavaScript that are not written in ES6 can get%0Aaccess to it
 .
+%0A
 */%0A%0A

remove outdated comment