Re: [GITGRUB] New menu interface (implementation)

[Bean <bean123ch@gmail.com>]

Hi,

Update:
Add label widget
Simple layout manager for panel widget.

The resource file for new demo is uploaded at:
http://grub4dos.sourceforge.net/menu.zip

Here is the theme file for new demo:

screen
{
  panel
  {
    x = "5"
    y = "5"

    top_left = "/menu/menu_tl.png,,black/cyan/#0x250F"
    top = "/menu/menu_t.png,tiling,black/cyan/#0x2501"
    top_right = "/menu/menu_tr.png,,black/cyan/#0x2513"
    left = "/menu/menu_l.png,tiling,black/cyan/#0x2503"
    right = "/menu/menu_r.png,tiling,black/cyan/#0x2503"
    bottom_left = "/menu/menu_bl.png,,black/cyan/#0x2517"
    bottom = "/menu/menu_b.png,tiling,black/cyan/#0x2501"
    bottom_right = "/menu/menu_br.png,tiling,black/cyan/#0x251B"

    background = "/menu/back.png,,#808080/cyan"

    label
    {
      color = "black/cyan"
      image = "/menu/debian.png,,blue"
      title = "Hello Debian"
      spacing = 1
    }
    label
    {
      color = "yellow/cyan"
      image = "/menu/ubuntu.png,,blue"
      title = "Hello Ubuntui (long)"
      spacing = 1
    }
    label
    {
      color = "blue/cyan"
      image = "/menu/gentoo.png,,blue"
      title = "Hello Gentoo"
      spacing = 1
    }
  }
}

The x/y/width/height property is not set in label widget, they'll be
calculated automatically by panel. The width/height property of panel
is also skipped, which means using the minimum width/height that
contains child widgets.

The full properties of these widgets are:

screen:
background - background image

panel:
background - background image
top_left. top, top_right, left, right, bottom_left, bottom,
bottom_right - image for borders

label
font - font name
color - font color
image - icon image
title - title text
spacing - space between image and title

-- 
Bean

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