[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tree-sitter navigation time grows as sqrt(line-number)
From: |
Eli Zaretskii |
Subject: |
Re: Tree-sitter navigation time grows as sqrt(line-number) |
Date: |
Thu, 31 Aug 2023 22:06:58 +0300 |
> From: Yuan Fu <casouri@gmail.com>
> Date: Thu, 31 Aug 2023 12:03:49 -0700
> Cc: JD Smith <jdtsmith@gmail.com>,
> Dmitry Gutov <dmitry@gutov.dev>,
> emacs-devel@gnu.org
>
> >> 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.
Stefan, WDYT about this? I admit I'm a bit weary, but everyone else
seems to think this is a bugfix.
- Re: Tree-sitter navigation time grows as sqrt(line-number), (continued)
- 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, 2023/08/31
- Re: Tree-sitter navigation time grows as sqrt(line-number),
Eli Zaretskii <=
- 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