[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tree-sitter navigation time grows as sqrt(line-number)
|
From: |
Yuan Fu |
|
Subject: |
Re: Tree-sitter navigation time grows as sqrt(line-number) |
|
Date: |
Thu, 31 Aug 2023 12:03:49 -0700 |
> On Aug 30, 2023, at 11:03 PM, Eli Zaretskii <eliz@gnu.org> wrote:
>
>> From: Yuan Fu <casouri@gmail.com>
>> Date: Wed, 30 Aug 2023 21:26:58 -0700
>> Cc: Dmitry Gutov <dmitry@gutov.dev>,
>> emacs-devel@gnu.org
>>
>>>>> On 20/08/2023 15:40, JD Smith wrote:
>>>>>> Looks like a winner (see below, or the gist)! Thanks all.
>>>>>
>>>>> Same here, thanks all indeed.
>>>>
>>>> Let’s run with this patch for sometime. If all goes well, I’ll push to
>>>> emacs-29.
>>>>
>>
>> I’ve pushed the patch to emacs-29.
>
> Thanks, but why emacs-29? Is this a bugfix?
The line is a bit blurry for this one, as others have discussed. I pushed to
emacs-29 because a while ago you said yes to pushing to emacs-29. Admittedly
that was a slightly different patch but the result is the same. Personally I
don’t have strong feelings either way.
Yuan
- Re: Tree-sitter navigation time grows as sqrt(line-number), (continued)
- Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/21
- Re: Tree-sitter navigation time grows as sqrt(line-number), JD Smith, 2023/08/22
- Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Po Lu, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), JD Smith, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number),
Yuan Fu <=
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Stefan Kangas, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number), Eli Zaretskii, 2023/08/20
Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/17
Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/17