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

Laurent <[email protected]> Mon, 12 Oct 2020 11:23:50 +0100
Newsgroups gmane.comp.lang.racket.user,gmane.lisp.scheme.plt
Message-ID <CABNTSaE4gJAoeJcO9EbDegA6UC9qqS7whJR0PEC8nnORZhz5cg@mail.gmail.com>
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 <[email protected]> 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+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/CABygVQzM_8A3c0inxigGyz48pOnttx2r2XER0gDzidStcuOF-w%40mail.gmail.com
> <https://groups.google.com/d/msgid/racket-users/CABygVQzM_8A3c0inxigGyz48pOnttx2r2XER0gDzidStcuOF-w%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected]
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CABNTSaE4gJAoeJcO9EbDegA6UC9qqS7whJR0PEC8nnORZhz5cg%40mail.gmail.com.