GNU bug report logs - #65912
2023-08-31; Fix xref errors when matching in unvisited files

Previous Next

Full log

Message #31 received at 65912 <at> debbugs.gnu.org (full text, mbox):

From: David Fussner <dfussner <at> googlemail.com>
To: Ikumi Keita <ikumi <at> ikumi.que.jp>
Cc: 65912 <at> debbugs.gnu.org
Subject: Re: bug#65912: 2023-08-31;
 Fix xref errors when matching in unvisited files
Date: Tue, 19 Sep 2023 08:26:15 +0100

It all looks good here. Thank you, Keita!

On Tue, 19 Sept 2023 at 07:19, Ikumi Keita <ikumi <at> ikumi.que.jp> wrote:
>
> Hi David,
>
> >>>>> David Fussner <dfussner <at> googlemail.com> writes:
> > Strike that last paragraph please, Keita. Whatever the new backend looks
> > like, it will always be possible to continue to use the old one, so these
> > fixes will be important no matter what I come up with.
>
> I pushed the fix to the git repo. I modified the addition of
> `font-lock-set-defaults' in `font-latex-setup' to run only in temporal
> buffers in order to minimize influence on the behavior for file-visiting
> buffers.
>
> I'll close this bug.
>
> Regards,
> Ikumi Keita
> #StandWithUkraine #StopWarInUkraine

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.