| 108 | } |
| 109 | |
| 110 | function initContextMenu() { |
| 111 | menu = new gui.Menu(); |
| 112 | menu.append(new gui.MenuItem({ |
| 113 | label: 'Copy', |
| 114 | click: function() { |
| 115 | clipboard.set(editor.getSelection()); |
| 116 | } |
| 117 | })); |
| 118 | menu.append(new gui.MenuItem({ |
| 119 | label: 'Cut', |
| 120 | click: function() { |
| 121 | clipboard.set(editor.getSelection()); |
| 122 | editor.replaceSelection(''); |
| 123 | } |
| 124 | })); |
| 125 | menu.append(new gui.MenuItem({ |
| 126 | label: 'Paste', |
| 127 | click: function() { |
| 128 | editor.replaceSelection(clipboard.get()); |
| 129 | } |
| 130 | })); |
| 131 | |
| 132 | document.getElementById("editor").addEventListener('contextmenu', |
| 133 | function(ev) { |
| 134 | ev.preventDefault(); |
| 135 | menu.popup(ev.x, ev.y); |
| 136 | return false; |
| 137 | }); |
| 138 | } |
| 139 | |
| 140 | |
| 141 | onload = function() { |