Re: [racket-users] [DrRacket] Is there a way to go to last edit location?

2020-10-12 Thread Laurent
I couldn't find an easy way to do this. (As a hack, I even tried undo+redo,
but this also includes cursor movements apparently, so it doesn't help.)

AFAICT, the undo history is buried under several private layers, so it's
inaccessible from `send` (and thus currently not accessible from
Quickscript), but a plugin may do. Augmenting `on-insert`:
https://docs.racket-lang.org/gui/text_.html?q=on-insert#%28meth._%28%28%28lib._mred%2Fmain..rkt%29._text~25%29._on-insert%29%29
to record the last insert position should work.


On Fri, Oct 9, 2020 at 10:46 AM Rock Nie  wrote:

> Hi,
>
> When I am using DrRacket recently, I often find myself wanting to go back
> to the last edit location which I can do in other editors. However, I did
> not find a similar function in DrRacket. Is there a way to do this? With a
> plugin maybe?
>
> Rock
>
> --
> 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/CABygVQzM_8A3c0inxigGyz48pOnttx2r2XER0gDzidStcuOF-w%40mail.gmail.com
> 
> .
>

-- 
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/CABNTSaE4gJAoeJcO9EbDegA6UC9qqS7whJR0PEC8nnORZhz5cg%40mail.gmail.com.


[racket-users] [DrRacket] Is there a way to go to last edit location?

2020-10-09 Thread Rock Nie
Hi,

When I am using DrRacket recently, I often find myself wanting to go back
to the last edit location which I can do in other editors. However, I did
not find a similar function in DrRacket. Is there a way to do this? With a
plugin maybe?

Rock

-- 
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/CABygVQzM_8A3c0inxigGyz48pOnttx2r2XER0gDzidStcuOF-w%40mail.gmail.com.