after-load-file in editor<%>
Called just after the editor is loaded from a file.
The argument to the method originally specified whether the save was
successful, but failures now trigger exceptions such that the method is
not even called. Consequently, the argument is always #t.
See also
can-load-file? and
on-load-file.