From 423bb60db59f70167b24eb77f5a71f01f36b21c3 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 14 Mar 2011 09:47:34 -0500 Subject: [PATCH] changed some nonnegative-real?'s into (and/c real? (not/c negative?))'s original commit: bd3a43db98df76509adfc5c6d4712e7deebdc5bd --- collects/scribblings/gui/text-class.scrbl | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/collects/scribblings/gui/text-class.scrbl b/collects/scribblings/gui/text-class.scrbl index 2d9d161d..4d523b37 100644 --- a/collects/scribblings/gui/text-class.scrbl +++ b/collects/scribblings/gui/text-class.scrbl @@ -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