From fc67023ff2947741fade23cb8eaf3006b0a698b0 Mon Sep 17 00:00:00 2001
From: Steven John Lange <sjlange@freenet.de>
Date: Thu, 2 May 2013 05:14:11 +0300
Subject: [PATCH] Update settings_menu.html

insert ext-settings_menu.js
---
 demo/settings_menu.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/demo/settings_menu.html b/demo/settings_menu.html
index ce8d1240..cc453a53 100644
--- a/demo/settings_menu.html
+++ b/demo/settings_menu.html
@@ -24,6 +24,7 @@
 <pre id="editor"></pre>
     
 <script src="../build/src-noconflict/ace.js"></script>
+<script src="../build/src-noconflict/ext-settings_menu.js"></script>
 <script>
     var editor = ace.edit("editor");
     ace.require('ace/ext/settings_menu').init(editor);