[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 09:03:12 +0300 |
> 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?
- 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/19
- Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/19
- Re: Tree-sitter navigation time grows as sqrt(line-number), JD Smith, 2023/08/19
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/19
- Re: Tree-sitter navigation time grows as sqrt(line-number), Yuan Fu, 2023/08/19
- Re: Tree-sitter navigation time grows as sqrt(line-number), JD Smith, 2023/08/20
- Re: Tree-sitter navigation time grows as sqrt(line-number), Dmitry Gutov, 2023/08/20
- 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 <=
- 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, 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