From ea0b9e3c92d54e33fd17e9bb77e6e48db75d08da Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 17 Nov 2010 18:24:55 +0100
Subject: [PATCH] fix default theme

---
 lib/ace/virtual_renderer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index e117b093..b23afff5 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -616,7 +616,7 @@ var VirtualRenderer = function(container, theme) {
     this.setTheme = function(theme) {
         var _self = this;
         if (!theme || typeof theme == "string") {
-            theme = theme || "ace/theme/TextMate";
+            theme = theme || "ace/theme/textmate";
             require([theme], function(theme) {
                 afterLoad(theme);
             });