From f425e49b580099ab3e8ce6583fc0dcbb4378cdc4 Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Tue, 15 Feb 2011 18:01:26 +0800
Subject: [PATCH] Use non compressed ace.js version of bookmarklet

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

diff --git a/build_support/editor_textarea.html b/build_support/editor_textarea.html
index b6716a52..aa54849a 100644
--- a/build_support/editor_textarea.html
+++ b/build_support/editor_textarea.html
@@ -46,7 +46,7 @@ function inject() {
 
     load.scripts = {};
 
-    load('ace-uncompressed.js', function() {
+    load('ace.js', function() {
         var ace = window.__ace_shadowed__;
         ace.load = load;
         ace.options.mode = "javascript";