after-save-file in editor<%>
after-save-file
editor<%>
Called just after the editor is saved to a file. The argument to the method specifies whether the save was successful or not. See also can-save-file?and on-save-file.
can-save-file?
on-save-file
(send an-editor after-save-file success?) -> void success? : boolean
(send an-editor after-save-file success?)
send
an-editor
success?