Update settings_menu.html

insert ext-settings_menu.js
This commit is contained in:
Steven John Lange 2013-05-02 05:14:11 +03:00
commit fc67023ff2

View file

@ -24,6 +24,7 @@
<pre id="editor"></pre> <pre id="editor"></pre>
<script src="../build/src-noconflict/ace.js"></script> <script src="../build/src-noconflict/ace.js"></script>
<script src="../build/src-noconflict/ext-settings_menu.js"></script>
<script> <script>
var editor = ace.edit("editor"); var editor = ace.edit("editor");
ace.require('ace/ext/settings_menu').init(editor); ace.require('ace/ext/settings_menu').init(editor);