[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [GITGRUB] New menu interface (implementation)
From: |
Michal Suchanek |
Subject: |
Re: [GITGRUB] New menu interface (implementation) |
Date: |
Wed, 7 Oct 2009 15:05:50 +0200 |
2009/10/7 Bean <address@hidden>:
> On Wed, Oct 7, 2009 at 4:54 PM, Michal Suchanek <address@hidden> wrote:
>> This might make switching the direction of a panel more difficult but
>> there may be other issues. Either way the method with margin does not
>> work either.
>
> Hi,
>
> The latest version should work now, although there is a small issue,
> the margin_*, padding_* property only works for panel widget for now,
> so you should replace padding_* of the term with margin_* of parent
> panel.
Yes, spacing on panels should be sufficient.
Terminals probably would not have borders and such anyway.
Thanks
Michal
- Re: [GITGRUB] New menu interface (implementation), (continued)
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/06
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation),
Michal Suchanek <=
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/07
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/08
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/09
- Re: [GITGRUB] New menu interface (implementation), Bean, 2009/10/09
- Re: [GITGRUB] New menu interface (implementation), Michal Suchanek, 2009/10/09