On 11 September 2013, Ben Fritz <fritzophre...@gmail.com> wrote:
[...]
> I'm a little frustrated to discover there's a font with a name
> matching a generic family name at all; it prevents any webpage from
> setting the default user-selected monospace font.
[...]
There is no collision. Simplifying, you can think of "Monospace" as
an alias to a "real" name, that looks something like this:
-misc-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1
There are standard mechanisms to change these aliases, which allows
things like themes and skins to take effect on all programs system-wide.
Nothing stops you to alias "Monospace" to a proportional width font, but
then you deserve what you get. :)
/lcd
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to vim_dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
