On 12 September 2013, LCD 47 <[email protected]> wrote:
> On 12 September 2013, Marius Gedminas <[email protected]> wrote:
> > On Thu, Sep 12, 2013 at 12:39:01PM +0300, LCD 47 wrote:
> > > On 12 September 2013, Nikolay Pavlov <[email protected]> wrote:
> > > > You are likely true (I failed to find file with font "Monospace"
> > > > yet such font can be chosen and fc-list knows nothing about
> > > > it, neither does KDE systemsettings), but that is not the
> > > > case: as indicated earlier browsers choose different fonts for
> > > > "monospace" that are not equal to "Monospace".
> > >
> > > As I understand it Monospace is a Pango thing, and Pango is a
> > > member of the Gnome tribe. Now, members of the Gnome tribe don't
> > > socialize with members of the KDE tribe; so there you have it. :)
> > >
> > > http://xkcd.com/927/
> > >
> > > > By the way, do you know a way to determine what is actually used
> > > > when I request font "Monospace"? As I said fc-list does not
> > > > work. In /etc/fonts there are lists for "monospace" (lowercase)
> > > > family, but "Monospace" string is only present in comments.
> >
> > fc-match Monospace
> >
> > It's a fontconfig thing, nothing to do with Pango.
>
> Sorry, but no. That looks for a font with family Monospace (case
> insensitive). When Vim is compiled with Gtk, gvim uses Pango.
I take that back, you're mostly right: fc-match looks for the
closest match, f.i.
$ fc-match blahblah
DejaVuSans.ttf: "DejaVu Sans" "Book"
It also works from gvim, in the sense that setting guifont to "blahblah"
will actually load the DejaVu Sans font. But the name Monospace itself
comes from Pango.
/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 [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
