Merge pull request #1071 from ajaxorg/site

fix workers on ace.ajax.org
2012-10-27 21:05:20 -07:00 · 2012-10-27 21:05:20 -07:00 · b7e4d83233
commit b7e4d83233
parent 23f4b201ce b50d0cde96
3 changed files with 83 additions and 6 deletions
--- a/doc/site/js/main.js
+++ b/doc/site/js/main.js
@ -2,6 +2,7 @@ var editor;
 var embedded_editor;
 $(function() {
    hljs.initHighlighting();
+    ace.config.set("workerPath", "build/src-min");
    editor = ace.edit("ace_editor_demo");
    embedded_editor = ace.edit("embedded_ace_code");
    editor.getSession().setMode("ace/mode/javascript");