[previous] [up] [next]     [index]
Next: scroll-line-location Up: editor<> Previous: resized

save-file

Saves the editor into a file, returning #t if sucessful, #f otherwise.

The filename and format used to save the file can be retrieved with get-filename. In a text% instance, the format can be retrieved with get-file-format.

See also on-save-file, after-save-file, and can-save-file?.



PLT