suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

changed some nonnegative-real?'s into (and/c real? (not/c negative?))'s

Browse Source 
original commit: bd3a43db98df76509adfc5c6d4712e7deebdc5bd
This commit is contained in:
Robby Findler 2011-03-14 09:47:34 -05:00
parent 87cb413071
commit 423bb60db5
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/scribblings/gui/text-class.scrbl
View File

@ -813,10 +813,10 @@ Returns @scheme[#t] if the editor is in overwrite mode, @scheme[#f]
}
@defmethod[(get-padding) (values nonnegative-real?
nonnegative-real?
nonnegative-real?
nonnegative-real?)]{
@defmethod[(get-padding) (values (and/c real? (not/c negative?))
(and/c real? (not/c negative?))
(and/c real? (not/c negative?))
(and/c real? (not/c negative?)))]{
Returns the editor's padding for its left, top, right, and bottom
sides (in that order).
@ -1883,10 +1883,10 @@ Enables or disables overwrite mode. See @method[text%
}
@defmethod[(set-padding [left nonnegative-real?]
[top nonnegative-real?]
[right nonnegative-real?]
[bottom nonnegative-real?])
@defmethod[(set-padding [left (and/c real? (not/c negative?))]
[top (and/c real? (not/c negative?))]
[right (and/c real? (not/c negative?))]
[bottom (and/c real? (not/c negative?))])
void?]{
Sets padding that insets the editor's content when drawn within its