/** Creates a new page of the given type with the given code */ protected Editor createPage(String _type, String _name, String _code) { Editor page = new CodeEditor(ejs, this); page.setName(_name); if (_code != null) page.readString(_code); else page.clear(); return page; }