Re: [racket-users] DrRacket back button

[Robby Findler]

No, not currently; you have to cycle through the binding identifiers (next
binding occurrence).

Robby

On Mon, Jul 15, 2019 at 5:10 PM Luke Whittlesey 
wrote:

> In DrRacket I like being able to right click on an identifier and `Jump to
> Binding Occurance". Is there a way to "jump back" to where you jumped from?
>
> --
> 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/CA%2Bce6i007%3D-jkv%2BwUfkoJg-5YaJsXGgHn6jDUp%2BfPKHL3iK_Ww%40mail.gmail.com
> 
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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/CAL3TdOO-PvHnZn%2BP0ZA33GWGtE%2BHCEx%3DWUBeLhV60OmEfPg-Wg%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] DrRacket back button

[Luke Whittlesey]

In DrRacket I like being able to right click on an identifier and `Jump to
Binding Occurance". Is there a way to "jump back" to where you jumped from?

-- 
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/CA%2Bce6i007%3D-jkv%2BwUfkoJg-5YaJsXGgHn6jDUp%2BfPKHL3iK_Ww%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.