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