[previous] [up] [next]     [index]
Next: read-footer-from-file Up: editor<> Previous: print-to-dc

put-file

Called when the user must be queried for a filename to save an editor. Starting directory and default name strings are passed in, but either may be #f to indicate that any directory is fine or there is no default name.



PLT