[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: |
Wed, 10 Jun 2009 11:52:49 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.91 (gnu/linux) |
Deniz Dogan <address@hidden> writes:
> Having talked to some people on the XMonad mailing list, it seems that
> it is probably Emacs that has the bug in this case.
What's the reasoning behind this conclusion?
It sounds like you have two separate issues: (i) font setting in X
resources not being recognized, and (ii) incorrect window sizing. It's
plausible that (ii) is an Emacs bug, since interaction with window
managers is a tricky issue; one thing you can try is to compile Emacs
without GTK support, and see if that makes a difference.
But as for (i), I find it hard to imagine how this can be an Emacs bug.
On typical systems (such as Gnome desktops), Emacs has no problem
detecting X resources. It seems more likely that either Xmonad or
something else on your system is screwing up the xrdb. If you specify X
resources for, say, xterm, are they applied correctly? For example:
xterm*font:-misc-fixed-medium-*-*-*-14-*-*-*-*-*-*-*
- 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/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, 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 <=
- 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
- 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