From 8d87f4afb29a9e061c6d3b3c796f94293880935b 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 f0e93fbc..6c82f5d2 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -618,7 +618,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);
             });