[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: |
Sun, 7 Jun 2009 02:25:43 +0200 |
2009/6/6 Stefan Monnier <address@hidden>:
>> Since I started using Emacs 23, I've been having some problems with
>> Emacs (the windowed UI, is this called Emacs-GTK mayhap?) in
>> combination with the XMonad window manager. To put it short, there is
>> some problem with Emacs' timing between setting the font and telling
>> the window manager how big the frame is (or maybe the other way
>> around, I don't know X).
>
> Does this problem only affect the first frame created?
> I.e. does it also happen after C-x 5 2?
>
>
> Stefan
>
Using just "emacs", it seems to happen only for the first frame.
However, using "emacs --daemon" and then "emacsclient -c", it does
*not* happen for the first frame.
--
Deniz Dogan
- 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 <=
- 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