Изменить 'ace/index.html'

This commit is contained in:
2019-09-03 21:53:14 +02:00
parent b2821fd1b3
commit c0f49250ba

View File

@@ -33,7 +33,7 @@
}); });
// load ace and extensions // load ace and extensions
require(["ace/ace", "ace/ext-language_tools"], function(ace) { require(["ace/ace", "ace/ext-language_tools"], function(ace) {
var buildDom = require("ace/lib/dom").buildDom; //var buildDom = require("ace/lib/dom").buildDom;
var editor = ace.edit(); var editor = ace.edit();
editor.setOptions({ editor.setOptions({
theme: "ace/theme/twilight", theme: "ace/theme/twilight",