> On Aug 2, 2016, at 6:02 AM, Normal Loone <andreas.m.wi...@gmx.de> wrote: > > Hello, > > I am writing a plugin that tracks the development of code. Currently I want > to save the times the run button is pressed (i.e. the code is executed). > How can I access when the run button is pressed? > > Additionally I'd like to mark when the code is saved under a new name (as a > new .rkt file).
Take a look at the “DrRacket Plugins” manual, probably available on your own machine as part of the installed docs (try hitting the F1 key in DrRacket), or by visiting http://docs.racket-lang.org/tools/index.html Apologies if you already knew about this resource! Best, John Clements -- 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: PGP signature
