()
| 85 | }; |
| 86 | |
| 87 | function handleNewButton() { |
| 88 | if (false) { |
| 89 | newFile(); |
| 90 | editor.setValue(""); |
| 91 | } else { |
| 92 | var x = window.screenX + 10; |
| 93 | var y = window.screenY + 10; |
| 94 | window.open('main.html', '_blank', 'screenX=' + x + ',screenY=' + y); |
| 95 | } |
| 96 | } |
| 97 | |
| 98 | function handleOpenButton() { |
| 99 | $("#openFile").trigger("click"); |