Added jquery hotkeys plugin

PANmedia · Oct 31, 2012 · ff21f30 · ff21f30
1 parent 6736869
commit ff21f30
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/include.php b/src/include.php
@@ -14,6 +14,7 @@
         document.write('<link rel="stylesheet" href="<?php echo $uri ?>dependencies/themes/redmond/jquery-ui.css"/>');
     }
 </script>
+<script type="text/javascript" src="<?php echo $uri ?>dependencies/jquery-hotkeys.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>dependencies/rangy/rangy-core.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>dependencies/rangy/rangy-serializer.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>dependencies/rangy/rangy-cssclassapplier.js"></script>
@@ -65,7 +66,7 @@
 <script type="text/javascript" src="<?php echo $uri ?>plugins/tagmenu/jquery.ui.editor.tagmenu.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>plugins/link/jquery.ui.editor.link.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>plugins/imageresize/jquery.ui.editor.imageresize.js"></script>
-<script type="text/javascript" src="<?php echo $uri ?>plugins/unsavededitwarning/jquery.ui.editor.unsavededitwarning.js"></script>
+<?php /* <script type="text/javascript" src="<?php echo $uri ?>plugins/unsavededitwarning/jquery.ui.editor.unsavededitwarning.js"></script>*/ ?>
 <script type="text/javascript" src="<?php echo $uri ?>plugins/embed/jquery.ui.editor.embed.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>plugins/statistics/jquery.ui.editor.statistics.js"></script>
 <script type="text/javascript" src="<?php echo $uri ?>plugins/i18n/jquery.ui.editor.i18n.js"></script>