[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gtk toolbar bug (was Re: What is the proper way to set the default
From: |
Deniz Dogan |
Subject: |
Re: gtk toolbar bug (was Re: What is the proper way to set the default font these days?) |
Date: |
Mon, 29 Jun 2009 19:49:55 +0200 |
2009/6/29 Bruce Stephens <address@hidden>:
> Chong Yidong <address@hidden> writes:
>
>> 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.
>>
>> What's the reasoning behind this conclusion?
>>
>> It sounds like you have two separate issues: (i) font setting in X
>> resources not being recognized, and (ii) incorrect window sizing. It's
>> plausible that (ii) is an Emacs bug, since interaction with window
>> managers is a tricky issue; one thing you can try is to compile Emacs
>> without GTK support, and see if that makes a difference.
>
> For (ii), GTK does make a difference. I built using
> --with-x-toolkit=lucid, and "emacs -Q" shows no problem (I can see a
> toolbar and the minibuffer). With gtk, I see the toolbar, but the frame
> is obviously too tall and I don't see the minibuffer.
>
> It is as though the frame is being displayed correctly without the
> toolbar, and then the toolbar is just added moving the rest down,
> without the proper interaction with the window manager to readjust the
> size.
>
> [...]
>
>
>
>
Finally someone who managed to reproduce it other than me! I have this
exact problem! Any solutions around?
--
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?, 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, 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 <=
- 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, 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?, Eli Zaretskii, 2009/06/08