(theFileEntry)
| 44 | } |
| 45 | |
| 46 | function readFileIntoEditor(theFileEntry) { |
| 47 | fs.readFile(theFileEntry.toString(), function (err, data) { |
| 48 | if (err) { |
| 49 | console.log("Read failed: " + err); |
| 50 | } |
| 51 | |
| 52 | handleDocumentChange(theFileEntry); |
| 53 | editor.setValue(String(data)); |
| 54 | }); |
| 55 | } |
| 56 | |
| 57 | function writeEditorToFile(theFileEntry) { |
| 58 | var str = editor.getValue(); |
no test coverage detected