From a0a0541daa604c321618f4dcef29284d8fa51d2c Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Thu, 13 Jan 2011 14:08:17 +0100
Subject: [PATCH] Undo setting docs to plain in editor.html

---
 demo/demo_startup.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demo/demo_startup.js b/demo/demo_startup.js
index 6adaa88b..0c4c1b07 100644
--- a/demo/demo_startup.js
+++ b/demo/demo_startup.js
@@ -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");