bug#40863: [PATCH] Improve the display-time-world UI

[Stefan Kangas]

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
Description: Text Data

0002-New-face-for-display-time-world-label.patch
Description: Text Data

0003-Move-point-to-new-buffer-for-display-time-world.patch
Description: Text Data

0004-Improve-the-display-time-world-UI.patch
Description: Text Data