From 05fe0c5de435fea9aa1cf63c83885dcd0510c50b Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Thu, 15 Mar 2012 17:07:02 -0400 Subject: [PATCH] adding comments --- js/world/geo.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/world/geo.rkt b/js/world/geo.rkt index 6f49485..ca6a126 100644 --- a/js/world/geo.rkt +++ b/js/world/geo.rkt @@ -20,7 +20,7 @@ navigator.geolocation.clearWatch(watchId); }")) -;; The new event handler type for geolocation: +;; A new event handler type for geolocation: ;; ;; Use it as any other world handler: ;;