From 525443c875899e5d60a363a0f8a56410a596ec5f Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 3 Feb 2011 14:57:10 +0100
Subject: [PATCH] use compressed ace

---
 build_support/editor.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_support/editor.html b/build_support/editor.html
index 17f357ff..b54f3b69 100644
--- a/build_support/editor.html
+++ b/build_support/editor.html
@@ -27,7 +27,7 @@
     }
 }</pre>
     
-<script src="src/ace-uncompressed.js" type="text/javascript" charset="utf-8"></script>
+<script src="src/ace.js" type="text/javascript" charset="utf-8"></script>
 <script src="src/theme-twilight.js" type="text/javascript" charset="utf-8"></script>
 <script src="src/mode-javascript.js" type="text/javascript" charset="utf-8"></script>
 <script>