binding arrows in scribble interactions???

Open joskoot opened this issue 5 years ago • 3 comments

With background expansion enabled, DrRacket nicely shows arrows between a binding occurrence of a variable and the bound occurrences in the definitions window. It would be very nice if a scribble interaction could this do too. May be complicated though. Just a thought. Best wishes, Jos

May 29 '20 16:05 joskoot

Would the racket/scribble repository be the right place to put this feature request?

May 30 '20 00:05 AlexKnauth

This is a brilliant idea.

May 30 '20 06:05 jackfirth

To AlexKnauth: Do you want me to copy paste it there?

May 30 '20 09:05 joskoot