[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65912: 2023-08-31; Fix xref errors when matching in unvisited files
From: |
David Fussner |
Subject: |
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@ikumi.que.jp> wrote:
>
> Hi David,
>
> >>>>> David Fussner <dfussner@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