On Fri, Jan 5, 2018 at 9:45 AM, Raymond Toy <[email protected]> wrote:

> >>>>> "Blake" == Blake McBride <[email protected]> writes:
>
>     Blake> On Thu, Jan 4, 2018 at 9:33 AM, Raymond Toy <
> [email protected]> wrote:
>     >> >>>>> "Blake" == Blake McBride <[email protected]> writes:
>     >>
>     Blake> I don't have:  "*-courier-medium-r-normal--*-120-*"
>     >>
>     >> Weird. All unix systems I used to use had a courier font.  But I see
>     >> now that some don't.
>     >>
>     Blake> Nor would I think most people on Linux would.  However,
>     >>
>     Blake> I do have:  "*-fixed-medium-r-normal--*-120-*"
>     >>
>     >> Perhaps it's time to update hemlock to use this font instead?
>     >>
>     >> Does hemlock now work for you?
>     >>
>     >>
>     Blake> I don't know how to change the font specification.
>
> Hmm. I think this is going to be messy.  On one machine (Ubuntu), I
> have -bitstream-courier 10 pitch-medium-i-normal-*, but no
> -*-courier-*, but a different machine (Fedora), I have
> -adobe-courier-*.
>
> The ubuntu machine has "-*-fixed-medium-r-normal-*". I'll have to
> check my Fedora machine for that.


Still, how can I change it on my machine?

Thanks!

Blake
_______________________________________________
cmucl-help mailing list
[email protected]
https://lists.zs64.net/mailman/listinfo/cmucl-help

Reply via email to