fix default theme

This commit is contained in:
Fabian Jakobs 2010-11-17 18:24:55 +01:00
commit 8d87f4afb2

View file

@ -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);
});