Script of the day! (2-May-2020)

[Stephen De Gabrielle]

> 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