On Jan 5, 2:04 pm, Boris Zbarsky <[email protected]> wrote:
> > Is it possible for me to look up this kind of question
> > somewhere in my system without having to ask such
> > kind of question in a news group?
>
> You could look at what your FontConfig does with "monospace", sure.
>
> -Boris
Hi!
Apparently "monospace" is not a real font but a placeholder
for a font. But why a software like firefox cannot make it
clear that "Courier" is a font and "monospace" is a placeholder?
I find it stupid!
By a fluke, I found out that my system means
"DejaVu Sans Mono" if I choose "monospace".
Surprise: If user 2 writes a CSS file with the content
pre, tt
{
font-family: DejaVu Sans Mono;
}
then user 1 gets displayed a result formatet
as "DejaVu Sans Mono", not as "Times New Roman".
This is exactly, what user 2 wants.
But now, the next questions:
1.) Why do I have to find out such things by a fluke?
2.) Isn't there a deterministic way to find such things out?
3.) Regarding to your statement "You could look at what your
FontConfig does with 'monospace', sure.": Where can I find
such FontConfig?
This would be the exact deterministic way that I am
looking for. Any help? I wanna totally understand this
problem. The fact that "monospace" isn't a font really
is a good initiation to understand the whole situation.
dolphin
_______________________________________________
dev-tech-layout mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-tech-layout
