GNU bug report logs - #40863
[PATCH] Improve the display-time-world UI

Previous Next

Full log

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

From: Stefan Kangas <stefan <at> marxist.se>
To: bug-gnu-emacs <at> gnu.org
Subject: [PATCH] Improve the display-time-world UI
Date: Sun, 26 Apr 2020 10:56:03 +0200

[Message part 1 (text/plain, inline)]

I have made some improvements to the display-time-world UI.  I divided
them up into four patches to ease review and merging of the individual
features.  Please let me know what you think.

(Of course I can squash the patches before pushing if that is preferable.)

Patch 4 adds an alias 'world-clock'.  Ideally, I would like to rename
the somewhat obscurely named 'display-world-time' to 'world-clock' and
make the old names into obsolete aliases.  It would be good to hear
any opinions on that too.

I'm also not sure if any of this should go into NEWS, so I didn't do
that work for now.  Let me know if that's desirable.

Best regards,
Stefan Kangas

[0001-Kill-display-time-world-buffer-on-exit.patch (text/x-patch, attachment)]

[0002-New-face-for-display-time-world-label.patch (text/x-patch, attachment)]

[0003-Move-point-to-new-buffer-for-display-time-world.patch (text/x-patch, attachment)]

[0004-Improve-the-display-time-world-UI.patch (text/x-patch, attachment)]

Previous Next

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