fix default theme

This commit is contained in:
Fabian Jakobs 2010-11-17 18:24:55 +01:00 committed by Joe Walker
commit ea0b9e3c92

View file

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