Re: [GITGRUB] New menu interface (implementation)

[Bean]

On Thu, Oct 8, 2009 at 7:26 PM, Michal Suchanek <address@hidden> wrote:
> I am not sure this is the right approach.
>
> Style writers should be free to style any widget without special
> support in the widget.

Hi,

The style property is parsed by the menu system, no special handling
for individual widgets.

>
> If there is special styling property it should not refer to a
> particular visual representation. They should specify the purpose of
> the widget and the style should decide how widgets of that type are
> visually realized.

In order to support this, I can just add recursive handling to the
style section, something like this:

screen { panel { style=dialog }}

style
{
  frame {
  }
  padding {
  }
  dialog {
    style=frame,padding
  }
}

-- 
Bean

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