GNU bug report logs - #77784
Consider killing ediff-registry-buffer in ediff-cleanup-mess if there are no more ediff sessions ongoing

Previous Next

Full log

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

From: João Guerra <joca.bt <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: Consider killing ediff-registry-buffer in ediff-cleanup-mess if there
 are no more ediff sessions ongoing
Date: Sun, 13 Apr 2025 18:22:28 +0200

The function `ediff-cleanup-mess` cleans up an ediff session. This
kills most buffers created during the ediff session (amongst other
things).

The `ediff-registry-buffer` stays after the ediff session. While there
is value in keeping it around when there are more ediff sessions
ongoing, is there a reason to keep it around when there are none?

I'd like to propose killing the `ediff-registry-buffer` after an ediff
session if there are no other ediff sessions ongoing. While this can
be easily achieved by customizing `ediff-quit-hook`, I think there is
some value in doing it on `ediff-cleanup-mess`. I can prepare a small
patch if you agree.

Previous Next

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