[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: |
Chong Yidong |
Subject: |
Re: What is the proper way to set the default font these days? |
Date: |
Mon, 08 Jun 2009 12:50:39 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.94 (gnu/linux) |
Deniz Dogan <address@hidden> writes:
> 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?
Sounds like an XMonad bug to me. The best way to figure out is to
revert to an earlier version of Emacs 23, and see which change
introduced this problem; if you find that the earlier versions now all
have the problem, that means it's XMonad that's changed.
- 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?, 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 <=
- Re: What is the proper way to set the default font these days?, Chad Brown, 2009/06/08
- Re: What is the proper way to set the default font these days?, David Reitter, 2009/06/08
- 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?, Stefan Monnier, 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?, Eli Zaretskii, 2009/06/08
- Re: What is the proper way to set the default font these days?, Johan Bockgård, 2009/06/08
- Re: What is the proper way to set the default font these days?, James Cloos, 2009/06/12
- Re: What is the proper way to set the default font these days?, Stefan Monnier, 2009/06/12
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/14