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 _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list