GUI doc fixes

Two of the contracts were inaccurate and, if true, would
have violated subtyping between editor<%> and text%.

Please merge to v6.0
(cherry picked from commit 287a59ce12)
This commit is contained in:
Asumu Takikawa 2013-11-26 17:10:19 -05:00 committed by Ryan Culpepper
parent 2e202f4d28
commit e14504de3a
2 changed files with 10 additions and 7 deletions

View File

@ -323,7 +323,7 @@ Gets the multiplicative color shift for the foreground (applied before
'change-smoothing
'change-toggle-smoothing
'change-alignment)]
[param symbol])
[param symbol?])
(is-a?/c style-delta%)]
[(set-delta [change-command (or/c 'change-size
'change-bigger

View File

@ -1647,7 +1647,7 @@ If the previous operation on the editor was not a paste, calling
@defmethod[#:mode override
(paste-x-selection [time exact-integer?]
(paste-x-selection [time exact-integer? 0]
[start (or/c exact-nonnegative-integer? 'start 'end) 'start]
[end (or/c exact-nonnegative-integer? 'same) 'same])
void?]{
@ -1739,11 +1739,14 @@ Returns the paragraph number of the paragraph containing a given @techlink{posit
}
@defmethod[#:mode extend
(read-from-file [stream (is-a?/c editor-stream-in%)]
[start (or/c exact-nonnegative-integer? 'start)]
[overwrite-styles? any/c #f])
boolean?]{
@defmethod*[#:mode extend
([(read-from-file [stream (is-a?/c editor-stream-in%)]
[start (or/c exact-nonnegative-integer? 'start)]
[overwrite-styles? any/c #f])
boolean?]
[(read-from-file [stream (is-a?/c editor-stream-in%)]
[overwrite-styles? any/c #f])
boolean?])]{
New data is inserted at the @techlink{position} indicated by @racket[start], or at
the current @techlink{position} if @racket[start] is @racket['start].