Re: [GITGRUB] New menu interface (implementation)

[Bean <bean123ch@gmail.com>]

On Thu, Oct 8, 2009 at 5:13 AM, Michal Suchanek <hramrach@centrum.cz> wrote:
> 2009/10/7 Michal Suchanek <hramrach@centrum.cz>:
>> 2009/10/7 Bean <bean123ch@gmail.com>:
>>> On Wed, Oct 7, 2009 at 4:54 PM, Michal Suchanek <hramrach@centrum.cz> 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.
>
> I tired the latest code and there is still some alignment issue.
>
> In graphics mode the top and bottom part of border is missing.
>
> The problem with zero width panels is fixed but a layout with a
> "toolbar" does not really work for me.

Hi,

Some issue of the config:

1, Don't add the c suffix , now default unit is character, just use
number. Also, if you set height/width directly, it should include the
border size, so minimum value is 2 (for top and bottom rect).

2, You should use far position as you want to extend the widget at the
far side (top).

3, border_width only draws left/right border, to draw top/bottom
border, you need to add border_height as well.

This config should work:

screen {
   background = "/menu/back.png,,blue"
   direction = bottom_to_top
   position = far

   panel {
     height = 2
     halign = extend

     top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
     top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
     top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
     left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
     right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
     bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
     bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
     bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"
   }

   panel {
     direction = left_to_right
     position = center
     valign = extend
     halign = extend

     panel {
       valign = extend
       halign = extend

       top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
       top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
       top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
       left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
       right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
       bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
       bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
       bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"
       padding_top = 8/0
       padding_bottom = 8/0
       padding_left = 8/1
       padding_right = 8/1

       term {
         width = 100%
         height = 100%
         color = "cyan/blue:light-gray/blue"
       }
     }

     panel {
       valign = extend
       halign = extend

       top_left = ",,cyan/blue,#0x250F:,,light-gray/blue,#0x2554"
       top = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
       top_right = ",,cyan/blue,#0x2513:,,light-gray/blue,#0x2557"
       left = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
       right = ",tiling,cyan/blue,#0x2503:,,light-gray/blue,#0x2551"
       bottom_left = ",,cyan/blue,#0x2517:,,light-gray/blue,#0x255A"
       bottom = ",tiling,cyan/blue,#0x2501:,,light-gray/blue,#0x2550"
       bottom_right = ",tiling,cyan/blue,#0x251B:,,light-gray/blue,#0x255D"

       border_width = 2/0
       border_height = 2/0
       border_color = brown:red

       padding_top = 8/0
       padding_bottom = 8/0
       padding_left = 8/1
       padding_right = 8/1

       term {
         width = 100%
         height = 100%
         font = "Times Regular 18"
         color = "cyan/blue:light-gray/blue"
       }
     }
   }
}
-- 
Bean

gitgrub home: http://github.com/grub/grub/
my fork page: http://github.com/bean123/grub/