diff --git a/node/src/files/javascript/library/ace/ext-keybinding_menu.js b/node/src/files/javascript/library/ace/ext-keybinding_menu.js new file mode 100644 index 000000000..100abeaf0 --- /dev/null +++ b/node/src/files/javascript/library/ace/ext-keybinding_menu.js @@ -0,0 +1 @@ +ace.define("ace/ext/keybinding_menu",["require","exports","module","ace/editor","ace/ext/menu_tools/overlay_page","ace/ext/menu_tools/get_editor_keyboard_shortcuts"],function(e,t,n){function i(t){if(!document.getElementById("kbshortcutmenu")){var n=e("./menu_tools/overlay_page").overlayPage,r=e("./menu_tools/get_editor_keyboard_shortcuts").getEditorKeybordShortcuts,i=r(t),s=document.createElement("div"),o=i.reduce(function(e,t){return e+'
"},"");s.id="kbshortcutmenu",s.innerHTML="