On Mon, Oct 5, 2009 at 12:06 AM, richardvo...@gmail.com <richardvo...@gmail.com> wrote: >>> - the border settings offer many options but I miss the option for >>> - setting the text border explicitly to single/double border >>> without using an image >> >> I think image is most flexible, who want ascii border in graphic mode >> ? BTW, border in graphic mode doesn't necessary be full character >> size, so text may not draw properly anyway. About the single/double >> border, it's more suitable to config them using styles other that >> property. > > Can't one obtain an N pixel solid border by using a parent panel with > background = border color, and client panel just a few pixels smaller > using the margin-positioning directives? > > This should give a border without needing a new set of commands, nor > image files.
Hi, You can use border_width, border_height and border_color property to add a strip of solid color around a panel, no need to add another one. -- 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
