()
| 93 | } |
| 94 | |
| 95 | function handleSaveButton() { |
| 96 | if (fileEntry && hasWriteAccess) { |
| 97 | writeEditorToFile(fileEntry); |
| 98 | } else { |
| 99 | dialog.showSaveDialog(function(filename) { |
| 100 | onChosenFileToSave(filename.toString(), true); |
| 101 | }); |
| 102 | } |
| 103 | } |
| 104 | |
| 105 | function initContextMenu() { |
| 106 | menu = new Menu(); |
no test coverage detected