Script of the day! (2-May-2020)
18 views
Skip to first unread message
Stephen De Gabrielle
May 2, 2020, 10:19:03 AM5/2/20
to Racket Users
> 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
Reply all
Reply to author
Forward
0 new messages