Re: font names with spaces

[Jean-Marc Lasgouttes]

>>>>> "Jan" == Jan W Stumpel <[EMAIL PROTECTED]> writes:

Jan> Asger Nielsen wrote:
>> Could you please try \screen_font_roman "-winfonts-times new roman"
>> instead and let us know if that works?

Jan> It does. Thanks. I should have tried that; but instead I tried

Jan> \screen_font_roman -winfonts-"times new roman"

Jan> and that did not work. I should have experimented further, sorry.

I guess this should have worked too, in fact.

JMarc