Jonathan Kew
unread,May 25, 2016, 9:17:47 AM5/25/16You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Piotr Drąg, Tina Hsieh, Bram Pitoyo, Morpheus Chen, Helen Huang, Wesley Huang, dev...@lists.mozilla.org, Francesco Lodolo, Harly Hsu, dev-...@lists.mozilla.org
On 25/5/16 13:51, Piotr Drąg wrote:
> 2016-05-25 7:48 GMT+02:00 Tina Hsieh <
ths...@mozilla.com>:
>> 4. Time separators:
>> 1. 12:00
>> 2. 12.00
>>
>
> It would be great if we could have the Unicode ratio sign ("∶", U+2236
> RATIO) here instead of the colon. It looks typographically better, and
> it's used by (at least) Android and GNOME. It's a minor nitpick, of
> course, but it adds a lot of polish.
I'd be _extremely_ wary of doing this, except in highly restricted
contexts where you can be sure of controlling exactly what font is used
to render the result. U+2236 RATIO comes from the relatively specialized
Mathematical Operators block, and is unlikely to be supported in many
common text fonts.
If the formatted time is displayed using a font that doesn't have the
RATIO character, fallback will kick in, some other font will be found on
the system, and the result may well be typographically awful.
JK