after-save-file (augments, and augmentable only) in editor:basic-mixin

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.

• (send an-editor:basic-mixin after-save-file success? void
     success? : boolean

  If the current filename is not a temporary filename, this method calls handler:add-to-recentwith the current filename.

  to add the new filename to the list of recently opened files.

  Additionally, updates a private instance variable with the modification time of the file, for using in implementing save-file-out-of-date?.