[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: |
Wed, 10 Jun 2009 11:17:55 +0200 |
2009/6/8 Deniz Dogan <address@hidden>:
> 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
>
Having talked to some people on the XMonad mailing list, it seems that
it is probably Emacs that has the bug in this case. I'm starting Emacs
using "emacs -Q" with .Xdefaults and .Xresources completely empty and
even then things are off! Could it be anything else on my computer
breaking this? This is when using a fresh CVS checkout.
--
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?, 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, 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?, 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
- Re: What is the proper way to set the default font these days?, Chong Yidong, 2009/06/10