[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gtk toolbar bug
From: |
Bruce Stephens |
Subject: |
Re: gtk toolbar bug |
Date: |
Mon, 29 Jun 2009 20:30:55 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.1.50 (gnu/linux) |
Deniz Dogan <address@hidden> writes:
> 2009/6/29 Bruce Stephens <address@hidden>:
[...]
>> 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?
My apologies. I thought I'd said I could see the problem (though
perhaps only on the xmonad mailing list, which wouldn't help Emacs, of
course).
Anyway, I hope the information that it occurs with gtk but not with
lucid might suggest what's happening.
In the meantime I don't have any suggestions other than the obvious
ones: build with lucid (or some other toolkit other than gtk), turn off
toolbars, don't use xmonad, don't worry too much about it (the problem
resolves itself when the frame is resized).
- 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?, 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, 2009/06/29
- Re: gtk toolbar bug,
Bruce Stephens <=
- 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
- Re: What is the proper way to set the default font these days?, Johan Bockgård, 2009/06/08