From 7a945785f306c3b89fa7fc1d0e9f230a1abbdeb2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 17 Dec 2010 16:00:41 -0600 Subject: [PATCH] fix (my own) docs stupidity --- .../teachpack/2htdp/scribblings/image.scrbl | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/collects/teachpack/2htdp/scribblings/image.scrbl b/collects/teachpack/2htdp/scribblings/image.scrbl index a64260b106..78ddc3eaca 100644 --- a/collects/teachpack/2htdp/scribblings/image.scrbl +++ b/collects/teachpack/2htdp/scribblings/image.scrbl @@ -1110,15 +1110,15 @@ more expensive than with the other shapes. } -@deftogether[(@defproc[(freeze [image image?]) image?]{} - @defproc[(freeze [width (and/c real? (not/c negative?))] - [width (and/c real? (not/c negative?))] - [image image?]) image?]{} - @defproc[(freeze [x real?] - [y real?] - [width (and/c real? (not/c negative?))] - [width (and/c real? (not/c negative?))] - [image image?]) image?]{})]{ +@defproc*[([(freeze [image image?]) image?] + [(freeze [width (and/c real? (not/c negative?))] + [width (and/c real? (not/c negative?))] + [image image?]) image?] + [(freeze [x real?] + [y real?] + [width (and/c real? (not/c negative?))] + [width (and/c real? (not/c negative?))] + [image image?]) image?])]{ Freezing an image internally builds a bitmap, crops the image, draws the cropped image into the bitmap and then uses the bitmap to draw that image afterwards. Typically this is used as a performance