That’s a good suggestion! Do you know the relevant JavaScript we can try it out with. Might be an easy PR.
-- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/d02530fa-4d5f-49c8-9260-09eb45677678%40googlegroups.com.
