/** * editor/editor.js: the main code that runs what is referred to as the "editor" * in the documentation */ /*** * Helper functions ***/ /* Return the HTML string for the page */ function getHTML(data) { // Generate an HTML page from the contents of each