[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: |
Stefan Monnier |
Subject: |
Re: What is the proper way to set the default font these days? |
Date: |
Wed, 10 Jun 2009 18:07:44 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.94 (gnu/linux) |
> I agree, but at least on X, that leads to annoying frame-thrashing on
> startup.
> [Of course, such frame-thrashing is just stupid, and we really should
> delay mapping the initial frame to avoid it, but nonetheless it's the
> current reality...]
I believe you can avoid the frame thrashing now, by using the
emacs-daemon ;-)
Stefan
- 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?, 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
- Re: What is the proper way to set the default font these days?,
Stefan Monnier <=
- 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