Re: What is the proper way to set the default font these days?

emacs-devel

[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:	Stephen J. Turnbull
Subject:	Re: What is the proper way to set the default font these days?
Date:	Tue, 09 Jun 2009 01:17:46 +0900

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

[Prev in Thread]

Current Thread

[Next in Thread]

What is the proper way to set the default font these days?, Deniz Dogan, 2009/06/06
- Re: What is the proper way to set the default font these days?, Stefan Monnier, 2009/06/06
  - Re: What is the proper way to set the default font these days?, Deniz Dogan, 2009/06/06
- 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 <=
    - 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, 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

Prev by Date: Re: What is the proper way to set the default font these days?
Next by Date: Re: What is the proper way to set the default font these days?
Previous by thread: Re: What is the proper way to set the default font these days?
Next by thread: Re: What is the proper way to set the default font these days?
Index(es):
- Date
- Thread