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/ _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
