From 0a88689f1b9dc6c09beb9c8154579cbba33ebcfa Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Sat, 27 Oct 2012 17:36:40 +0400
Subject: [PATCH] fix workers on ace.ajax.org

---
 doc/site/js/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/site/js/main.js b/doc/site/js/main.js
index 49f91f5e..efa7ba2b 100644
--- 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");