[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Tracking buffer positions across time, without markers (was Re: PL s

From: Eli Zaretskii
Subject: Re: Tracking buffer positions across time, without markers (was Re: PL support)
Date: Sun, 10 May 2020 07:32:33 +0300
User-agent: K-9 Mail for Android

On May 10, 2020 6:45:13 AM GMT+03:00, "Clément Pit-Claudel" <address@hidden> 
> On 09/05/2020 19.26, João Távora wrote:
> > This is done with an idle timer, much the way that Flycheck
> > works, I believe. 
> Yup, it's a longstanding issue in Flycheck ^^
> > > A bit.  But this works only if the interaction is fast enough,
> right? (Same for syntax errors: positions may well be outdated by the
> time the errors come back)
> > By that time another request is probably already underway.
> As long as the requests are fast.  With slow checkers (typically,
> proof assistants and automated reasoning tools, a single query can
> easily take a minute — by that point lots can have changed in a
> buffer.
> The APIs that make this work in Visual Studio (spans and snapshots)
> are described here:
> https://docs.microsoft.com/en-us/visualstudio/extensibility/inside-the-editor?view=vs-2019
> I'd love to hear opinions on what the proper implementation of this
> would for Emacs be.

Can you explain why using markers is not a good solution for this?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]