Save this piece of code, regardless of whether the modified flag is set or not.
()
| 318 | * flag is set or not. |
| 319 | */ |
| 320 | public void save() throws IOException { |
| 321 | // TODO re-enable history |
| 322 | //history.record(s, SketchHistory.SAVE); |
| 323 | |
| 324 | Util.saveFile(program, file); |
| 325 | savedProgram = program; |
| 326 | lastModified = file.lastModified(); |
| 327 | setModified(false); |
| 328 | } |
| 329 | |
| 330 | |
| 331 | /** |
no test coverage detected