Fixed document mode switch

This commit is contained in:
Eddy Bruel 2010-10-21 10:44:22 +02:00
commit e5fbc1f207

View file

@ -193,7 +193,7 @@ function getDoc() {
var modeEl = document.getElementById("mode");
modeEl.onchange = function() {
editor.getDocument().setTheme(modeEl.value);
editor.getDocument().setMode(modes[modeEl.value] || modes.text);
};
var modes = {