Re: [GITGRUB] New menu interface (implementation)

[Bean]

On Fri, Oct 9, 2009 at 7:52 PM, Michal Suchanek <address@hidden> wrote:
> Yes, that's nice to name the dialog so that it can be styled more easily.
>
> However, the text has no style assigned. Still the user should be able
> to do something like
>
> popup text { font-face: sans }
>
> or
>
>  .dialog.mesasge text { font-face: sans }
>
> to override the font used in the dialog although the text element is
> not explicitly linked to any style.

Hi,

Oh, perhaps the name style is not very appropriate here, class may be
a better one. As for the sub element, it can be handle it like this:

panel { class=dialog.message text { text="Hello" }}

class
{
  dialog.message
  {
    background = "/back.png"
    color="blue"
  }
}

All widgets under the panel would looks in the dialog.message section
for default property, this is similar to Xterm*color in Xresource.
This method also make it easier to define a menu item:

panel { class=menu.debian image {} text {}}

class
{
  menu.debian
  {
    image = "/debian.png"
    text = "Boot debian"
  }
}


-- 
Bean

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