From 133abb1d2de9306412576ad226909f0e6e40e5d3 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 4 Aug 2011 12:39:34 +0200
Subject: [PATCH] fix merge conflicts

---
 demo/demo.js      | 41 ++++++++++++++++++++---------------------
 kitchen-sink.html |  2 +-
 2 files changed, 21 insertions(+), 22 deletions(-)

diff --git a/demo/demo.js b/demo/demo.js
index 1debdbaf..40629764 100644
--- a/demo/demo.js
+++ b/demo/demo.js
@@ -677,27 +677,26 @@ define(function(require, exports, module) {
             session.addFold(placeHolder, range);
         }
     }
-};
-
-var themes = {};
-function loadTheme(name, callback) {
-    if (themes[name])
-        return;
-        
-    themes[name] = 1;
-    var base = name.split("/").pop();
-    var fileName = "src/theme-" + base + ".js";
-    loadScriptFile(fileName, callback)
-}
-
-function loadScriptFile(path, callback) {
-    var head = document.getElementsByTagName('head')[0];
-    var s = document.createElement('script');
-
-    s.src = path;
-    head.appendChild(s);
     
-    s.onload = callback;
-}
+    var themes = {};
+    function loadTheme(name, callback) {
+        if (themes[name])
+            return;
+
+        themes[name] = 1;
+        var base = name.split("/").pop();
+        var fileName = "src/theme-" + base + ".js";
+        loadScriptFile(fileName, callback)
+    }
+
+    function loadScriptFile(path, callback) {
+        var head = document.getElementsByTagName('head')[0];
+        var s = document.createElement('script');
+
+        s.src = path;
+        head.appendChild(s);
+
+        s.onload = callback;
+    }
 
 });
diff --git a/kitchen-sink.html b/kitchen-sink.html
index cefb23d4..0c4e0aec 100644
--- a/kitchen-sink.html
+++ b/kitchen-sink.html
@@ -228,7 +228,7 @@
 <!--PACKAGE
   <script src="demo/kitchen-sink-uncompressed.js" data-ace-base="src" type="text/javascript" charset="utf-8"></script>
   <script type="text/javascript" charset="utf-8">
-    require("demo/boot");
+    require("demo/demo");
   </script>
 PACKAGE-->