suzanne.soy/racket
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
This commit is contained in:
Robby Findler 2011-03-14 09:47:34 -05:00
parent 466abb9896
commit bd3a43db98
3 changed files with 22 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
collects/scribblings/draw/dc-intf.scrbl
View File

@ -629,7 +629,8 @@ See also @method[dc<%> set-scale] and @method[dc<%> get-transformation].
}
@defmethod[(get-size)
(values nonnegative-real? nonnegative-real?)]{
(values (and/c real? (not/c negative?))
(and/c real? (not/c negative?)))]{
Gets the size of the destination drawing area. For a @scheme[dc<%>]
object obtained from a @scheme[canvas<%>], this is the (virtual
@ -660,10 +661,10 @@ set-text-background].
[font (or/c (is-a?/c font%) false/c) #f]
[combine? any/c #f]
[offset exact-nonnegative-integer? 0])
(values nonnegative-real?
nonnegative-real?
nonnegative-real?
nonnegative-real?)]{
(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 size of @scheme[str] at it would be drawn in the drawing

16
collects/scribblings/draw/ps-setup-class.scrbl
View File

@ -39,8 +39,8 @@ Gets the printer command used to print a file in X. The default is
}
@defmethod[(get-editor-margin [h-margin (box/c nonnegative-real?)]
[v-margin (box/c nonnegative-real?)])
@defmethod[(get-editor-margin [h-margin (box/c (and/c real? (not/c negative?)))]
[v-margin (box/c (and/c real? (not/c negative?)))])
void?]{
Returns the current settings for horizontal and vertical margins when
@ -71,8 +71,8 @@ Currently, Level 2 commands are only needed to include color bitmap
}
@defmethod[(get-margin [h-margin (box/c nonnegative-real?)]
[v-margin (box/c nonnegative-real?)])
@defmethod[(get-margin [h-margin (box/c (and/c real? (not/c negative?)))]
[v-margin (box/c (and/c real? (not/c negative?)))])
void?]{
Returns the current settings for horizontal and vertical PostScript
@ -130,8 +130,8 @@ Gets the command used to view a PostScript file for X. The default is
}
@defmethod[(get-scaling [x (box/c nonnegative-real?)]
[y (box/c nonnegative-real?)])
@defmethod[(get-scaling [x (box/c (and/c real? (not/c negative?)))]
[y (box/c (and/c real? (not/c negative?)))])
void?]{
Gets the scaling factor for PostScript output. @boxisfill[(scheme x)
@ -146,8 +146,8 @@ This scale is in addition to a scale that can be set by @method[dc<%>
}
@defmethod[(get-translation [x (box/c nonnegative-real?)]
[y (box/c nonnegative-real?)])
@defmethod[(get-translation [x (box/c (and/c real? (not/c negative?)))]
[y (box/c (and/c real? (not/c negative?)))])
void?]{
Gets the translation (from the bottom left corner) for PostScript

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