DrRacket now has a command palette thanks to @Laurent.O
It has full access to core functions, and user added scripts.
For installation instructions see Quickscript Scripts for DrRacket · racket/racket Wiki · GitHub
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Opinionated guide to DrRacket scripts | 0 | 536 | November 29, 2023 | |
| Any DrRacket hackers available to help on a quickscript? | 13 | 425 | November 27, 2021 | |
| Racket v8.4 Released | 1 | 666 | February 10, 2022 | |
| How to install the "drracket-cmdline-args" (and other) plugin? | 2 | 110 | April 29, 2024 | |
| Navigation through (top-level) definitions in DrRacket | 4 | 163 | April 16, 2024 |