begin-write-header-footer-to-file in editor<%>
This method must be called before writing any special header data to a stream.
See File Formats and
write-headers-to-file for more information.
( -> void
send an-editor begin-write-header-footer-to-file f name buffer)
f : editor-stream-out% object
name : string
buffer : boxed exact integer
The name string must be a unique name that can be used by a
header reader to recognize the data. This method will store a value
in buffer that should be passed on to
end-write-header-footer-to-file.