Displaying 1 result from an estimated 1 matches for "create_ctrlkey_menu_entry".
2009 Jul 16
2
[PATCH server] updated anyterm/ovirt integration
...) {
+ window.onbeforeunload=warn_unload;
+ get();
+ maybe_send();
+ }
+}
+
+
+function warn_unload() {
+ if (open) {
+ return "Leaving this page will close the terminal.";
+ }
+}
+
+
+function create_ctrlkey_menu() {
+ var sel=document.createElement("SELECT");
+ create_ctrlkey_menu_entry(sel,"Control keys...",-1);
+ create_ctrlkey_menu_entry(sel,"Ctrl-@",0);
+ for (var code=1; code<27; code++) {
+ var letter=String.fromCharCode(64+code);
+ create_ctrlkey_menu_entry(sel,"Ctrl-"+letter,code);
+ }
+ create_ctrlkey_menu_entry(sel,"Ctrl-[&...