[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 16:08:07 +0200 |
2009/6/10 Miles Bader <address@hidden>:
> 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
Thank you for the straight-forward instructions! However, this was
unsuccessful as well. It's not the exact same problem, but it's still
off, not displaying the echo area or the modeline.
Screenshot:
http://img229.imageshack.us/img229/4117/200906101606201280x800s.png
--
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?, 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, 2009/06/10
- 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?, 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
- Re: What is the proper way to set the default font these days?, David Reitter, 2009/06/08