editor<%> doc fixes

This commit is contained in:
Matthew Flatt 2011-10-08 09:08:01 -06:00
parent 379991c5bb
commit ed38297c97

View File

@ -121,11 +121,9 @@ Does nothing.
@methspec{ @methspec{
Called just after the editor is loaded from a file. Called just after the editor is loaded from a file or during the
exception escape when an attempt to load fails. The @racket[success?]
The argument to the method originally specified whether the save was argument indicates whether the load succeeded.
successful, but failures now trigger exceptions such that the method is
not even called. Consequently, the argument is always @racket[#t].
See also See also
@method[editor<%> can-load-file?] and @method[editor<%> can-load-file?] and
@ -146,11 +144,9 @@ Does nothing.
@methspec{ @methspec{
Called just after the editor is saved to a file. Called just after the editor is saved to a file or during the
exception escape when a save fails. The @racket[success?] argument
The argument to the method originally specified whether the save was indicates whether the save succeeded.
successful, but failures now trigger exceptions such that the method is
not even called. Consequently, the argument is always @racket[#t].
See also See also
@method[editor<%> can-save-file?] and @method[editor<%> can-save-file?] and