From 1aa0748cdac4eee1037546737719af149c53a3d7 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Thu, 15 Mar 2012 17:06:47 -0400 Subject: [PATCH] adding comments --- js/world/geo.rkt | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/js/world/geo.rkt b/js/world/geo.rkt index 59e28f1..6f49485 100644 --- a/js/world/geo.rkt +++ b/js/world/geo.rkt @@ -21,6 +21,13 @@ ;; The new event handler type for geolocation: +;; +;; Use it as any other world handler: +;; +;; (big-bang ... +;; [on-geo (lambda (world view lat lng) +;; ...)] +;; +;; ...) (define on-geo (make-world-event-handler setup-geo shutdown-geo)) -