Fixed ACE search box extension

2013-09-21 12:03:29 +01:00 · 2013-09-21 12:03:29 +01:00 · 100ccd4f5d
commit 100ccd4f5d
parent df48b59181
1 changed files with 1 additions and 0 deletions
--- a/res/core.js
+++ b/res/core.js
@ -19,6 +19,7 @@ define([
    'ace/requirejs/text!ace/css/editor.css',
    'ace/requirejs/text!ace/theme/textmate.css',
    'ace/ext/spellcheck',
+    'ace/ext/searchbox'

 ], function($, _, crel, ace, utils, settings, eventMgr, mousetrap, bodyIndexHTML, bodyViewerHTML, settingsTemplateTooltipHTML, settingsUserCustomExtensionTooltipHTML) {