On Tue, 2012-12-04 at 06:40 -0500, Matthias Clasen wrote: > While we are talking about better use of Unicode, I've recently spent > some time improving the time rendering in a few prominent places, by > using the 'ratio' character instead of plain ascii : - some > screenshots of the difference can be seen in bug 689184 [1]. It might > be a good idea to do this consistently throughout the desktop. I only > got as far as gnome-shell and gnome-clocks... > > > Matthias > > [1] https://bugzilla.gnome.org/show_bug.cgi?id=689184
Is this really the right thing to do. Even the Microsoft page uses the rather wishy-washy "Consider using the ratio symbol", as if they're not quite sure this is a good idea. It does look nicer, but it's semantically wrong. A time is not a ratio. How does Orca read it? -- Shaun _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
