From 61d6774a1454c2396472720ec465feb45df5edb0 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Thu, 12 Jan 2012 11:28:37 -0500 Subject: [PATCH] view-prepend-child --- web-world/main.rkt | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/web-world/main.rkt b/web-world/main.rkt index 6efcb67..abddd38 100644 --- a/web-world/main.rkt +++ b/web-world/main.rkt @@ -20,7 +20,9 @@ (all-from-out "event.rkt")) (provide view-bind-many - view-bind-many*) + view-bind-many* + view-prepend-child) + (provide (rename-out [internal-big-bang big-bang] [big-bang big-bang/f] @@ -123,3 +125,16 @@ (third id+type+function))) a-view listof-id+type+function)) + + + +(define (view-prepend-child a-view c) + (unless (view? a-view) + (raise-type-error 'view-prepend-child + "view" + a-view)) + (cond + [(view-down? a-view) + (view-insert-left (view-down a-view) c)] + [else + (view-append-child a-view c)])) \ No newline at end of file