| Did you know ... | Search Documentation: |
| editor->save_buffer |
<-file
if it is editor<-modified or the argument
is not
@default. If
the operation succeeds, the editor<-modified
flag is cleared. Diagnostics are reported using editor->report.
-file