> Script of the day: Have a Menu that displays all open tabs in DrRacket. > (Currently, DrRacket displays only the first 10). > > How to install: Click on Scripts | Manage scripts | New script... > Enter "All tabs" (a new script opens filled with a template. > > Replace the template with the code below. Save the file. > > Click on Scripts | All tabs. A new menu "All tabs" appears in DrRacket! (Via slack courtesy of Laurent)
https://gist.github.com/Metaxal/cfe71127092d2ec95013cc81a5b88cd6 -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/49f6b54b-e518-4a54-b998-6a0c0ad91175%40googlegroups.com.