[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12840: 24.2.50; ediff: mode-line of control buffer - improvement req
|
From: |
Michael Heerdegen |
|
Subject: |
bug#12840: 24.2.50; ediff: mode-line of control buffer - improvement request |
|
Date: |
Sun, 19 Jun 2022 14:30:29 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Sure, that's better; please go ahead and push.
Done.
I also investigated what the original intention could have been.
Originally, "Howdy!" was shown instead of "Quick Help".
Later this was changed to "Quick Help" (to say something meaningful, I
guess). So I would say we are compatible with the original intention.
Michael.