From 25573105b785e11f69b09222b6e3324f3c8081a1 Mon Sep 17 00:00:00 2001
From: Joe Walker <jwalker@mozilla.com>
Date: Wed, 12 Jan 2011 12:48:01 +0000
Subject: [PATCH] remove the contents of the div once weve injected into the
 editor. this may not be the best solution for the long term, but its a win
 for now

---
 demo/build_boot.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/demo/build_boot.js b/demo/build_boot.js
index e3f6b7cf..8a22658f 100644
--- a/demo/build_boot.js
+++ b/demo/build_boot.js
@@ -60,6 +60,7 @@ var ace = {
             var theme = require("ace/theme/textmate");
 
             var doc = new Document(el.innerHTML);
+            el.innerHTML = '';
             doc.setMode(new JavaScriptMode());
             doc.setUndoManager(new UndoManager());
             env.editor = new Editor(new Renderer(el, theme));