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