From 9e35b31e2d2a8c68f4609f5dd25be255224be4c5 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 19 Dec 2011 13:02:29 +0100
Subject: [PATCH] use nicer script name for bookmarklet

---
 build_support/editor_textarea.html | 2 +-
 lib/ace/ext/textarea.js            | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/build_support/editor_textarea.html b/build_support/editor_textarea.html
index 9de8ca42..e8a97007 100644
--- a/build_support/editor_textarea.html
+++ b/build_support/editor_textarea.html
@@ -60,7 +60,7 @@ function inject(callback) {
         };
     };
 
-    load('ace-uncompressed-noconflict.js', "ace/ext/textarea", function() {
+    load('ace-bookmarklet.js', "ace/ext/textarea", function() {
         var ace = window.__ace_shadowed__;
         
         ace.options.mode = "javascript";
diff --git a/lib/ace/ext/textarea.js b/lib/ace/ext/textarea.js
index 8efb886c..db97dc57 100644
--- a/lib/ace/ext/textarea.js
+++ b/lib/ace/ext/textarea.js
@@ -274,7 +274,7 @@ function setupApi(editor, editorDiv, settingDiv, ace, options, loader) {
                 case "mode":
                     if (value != "text") {
                         // Load the required mode file. Files get loaded only once.
-                        loader("mode-" + value + "-noconflict.js", "ace/mode/" + value, function() {
+                        loader("mode-" + value + ".js", "ace/mode/" + value, function() {
                             var aceMode = require("../mode/" + value).Mode;
                             session.setMode(new aceMode());
                         });
@@ -286,7 +286,7 @@ function setupApi(editor, editorDiv, settingDiv, ace, options, loader) {
                 case "theme":
                     if (value != "textmate") {
                         // Load the required theme file. Files get loaded only once.
-                        loader("theme-" + value + "-noconflict.js", "ace/theme/" + value, function() {
+                        loader("theme-" + value + ".js", "ace/theme/" + value, function() {
                             editor.setTheme("ace/theme/" + value);
                         });
                     } else {