[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What is the proper way to set the default font these days?
From: |
Deniz Dogan |
Subject: |
Re: What is the proper way to set the default font these days? |
Date: |
Mon, 8 Jun 2009 18:28:35 +0200 |
2009/6/8 Chong Yidong <address@hidden>:
> "Stephen J. Turnbull" <address@hidden> writes:
>
>> Chong Yidong writes:
>>
>> > I put
>> >
>> > Emacs.Font: Monospace 9
>> >
>> > in my .Xresources file. That works with no problems.
>>
>> Shouldn't that be
>>
>> Emacs.Font: Monospace-9
>
> Emacs recognizes both. The former is in the GTK format, and the latter
> is in the Fontconfig format.
>
Unfortunately, neither of the two methods work. They did work in an
earlier version of Emacs 23, but that was a few months ago. Anyways,
what I really would like to know is whether this is an Emacs bug or an
XMonad bug. Any ideas?
--
Deniz Dogan
- Re: What is the proper way to set the default font these days?, (continued)
- Re: What is the proper way to set the default font these days?, Stefan Monnier, 2009/06/06
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/06
- Re: What is the proper way to set the default font these days?, David De La Harpe Golden, 2009/06/07
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/08
- Re: What is the proper way to set the default font these days?, Stephen J. Turnbull, 2009/06/08
- Re: What is the proper way to set the default font these days?, Deniz Dogan, 2009/06/08
- Re: What is the proper way to set the default font these days?, Chong Yidong, 2009/06/08
- Re: What is the proper way to set the default font these days?, Stephen J. Turnbull, 2009/06/08
- Re: What is the proper way to set the default font these days?, Chong Yidong, 2009/06/08
- Re: What is the proper way to set the default font these days?,
Deniz Dogan <=
- Re: What is the proper way to set the default font these days?, Deniz Dogan, 2009/06/10
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/10
- Re: What is the proper way to set the default font these days?, Deniz Dogan, 2009/06/10
- Re: What is the proper way to set the default font these days?, Chong Yidong, 2009/06/10
- Re: What is the proper way to set the default font these days?, Deniz Dogan, 2009/06/10
- gtk toolbar bug (was Re: What is the proper way to set the default font these days?), Bruce Stephens, 2009/06/29
- Re: gtk toolbar bug (was Re: What is the proper way to set the default font these days?), Deniz Dogan, 2009/06/29
- Re: gtk toolbar bug, Bruce Stephens, 2009/06/29
- Re: gtk toolbar bug, Bruce Stephens, 2009/06/29
- Re: gtk toolbar bug, Jan Djärv, 2009/06/30