https://bugzilla.wikimedia.org/show_bug.cgi?id=31914

--- Comment #5 from Brion Vibber <[email protected]> 2011-10-24 18:32:20 UTC 
---
Where/why are we showing font names at all? Is that even actually necessary or
desirable? In theory we're just turning on *font that works* in place of *font
that doesn't work* and should never need to know or care about the font name,
any more than we care what the default font name is in all the languages that
render correctly on most devices as shipped.

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to