GNU bug report logs - #67463
30.0.50; Eglot may manage js-json-mode buffers with wrong server

Previous Next

Full log

View this message in rfc822 format

From: João Távora <joaotavora <at> gmail.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: Dmitry Gutov <dmitry <at> gutov.dev>, Eli Zaretskii <eliz <at> gnu.org>, 67463 <at> debbugs.gnu.org, Pengji Zhang <kunhtkun <at> gmail.com>
Subject: bug#67463: 30.0.50; Eglot may manage js-json-mode buffers with wrong server
Date: Mon, 8 Jan 2024 00:20:00 +0000

On Sun, Jan 7, 2024 at 5:20 AM Stefan Monnier <monnier <at> iro.umontreal.ca> wrote:
 effects.

> I suggest the patch below instead, which also "quick" but much less dirty.

I didn't see it, did you attach it?

> We'd first have to decide what is the behavior we want from it.
> Note that `derived-mode-add-parents` doesn't really "add"

I'd think for every "add" it should be reasonably easy to
envision a "remove", but that complicates things indeed.

> (i.e. overwrites) the list of extra-parents, so a corresponding behavior
> would be for `derived-mode-remove-parent` to set a new property
> `derived-mode-muted-parents`.

Extra parents, muted parents, siblings become parents,
definitely some good 90's sitcom material :-)

João

Previous Next

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