after-save-file (augmentable only) in editor<%>
Called just after the editor is saved to 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-save-file? and
on-save-file.