July 26, 2022
9:31 p.m.
On Jul 26, 2022, at 2:11 PM, Doug Ewell <doug@ewellic.org> wrote:
Isn’t this simply a matter of maintaining two strings:
Yes, that's exactly what I was saying.
Then when the “select time zone” UI is invoked again, the user’s selected city is set as the list default, and in general when the “zone” needs to be displayed to the user, the city is displayed instead or in addition. But the real tzid is still used by the system for time conversion purposes.
Exactly. No breaking of interoperability is caused by the suggested UI improvement.