|
| From: | Stefan Kangas |
| Subject: | bug#40863: [PATCH] Improve the display-time-world UI |
| Date: | Sun, 26 Apr 2020 16:19:04 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes: >> -(defcustom display-time-world-buffer-name "*wclock*" >> +(defcustom display-time-world-buffer-name "*World Clock*" > > Is this part really necessary? what if some application or user out > there expects the old name? Good point, I'll leave that part out. Thanks for reviewing. Best regards, Stefan Kangas
| [Prev in Thread] | Current Thread | [Next in Thread] |