Save this piece of code, regardless of whether the modified flag is set or not.
()
| 281 | * flag is set or not. |
| 282 | */ |
| 283 | public void save() throws IOException { |
| 284 | if (storage == null) |
| 285 | return; /* Nothing to do */ |
| 286 | |
| 287 | BaseNoGui.saveFile(storage.getText(), file); |
| 288 | storage.clearModified(); |
| 289 | } |
| 290 | |
| 291 | |
| 292 | /** |
nothing calls this directly
no test coverage detected