Undo setting docs to plain in editor.html

This commit is contained in:
Julian Viereck 2011-01-13 14:08:17 +01:00
commit a0a0541daa

View file

@ -125,7 +125,7 @@ exports.launch = function(env) {
docEl.onchange = onDocChange;
function getDoc() {
return docs.plain//docs[docEl.value];
return docs[docEl.value];
}
var modeEl = document.getElementById("mode");