put-file in editor<%>

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.