[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: |
Miles Bader |
Subject: |
Re: What is the proper way to set the default font these days? |
Date: |
Wed, 10 Jun 2009 22:37:05 +0900 |
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. 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.
Can you provide an exact recipe for recreating the problem?
As .Xresources is merely used to initialize the server's resource
database, are you sure that's happening?
Try the following:
cd /tmp
xrdb -remove
echo 'Emacs*Font: Monospace 9' | xrdb
HOME=/tmp emacs -Q &
-Miles
--
"Though they may have different meanings, the cries of 'Yeeeee-haw!' and
'Allahu akbar!' are, in spirit, not actually all that different."
- 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, 2009/06/10
- Re: What is the proper way to set the default font these days?,
Miles Bader <=
- 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
- Re: What is the proper way to set the default font these days?, Chad Brown, 2009/06/08