В Wed, 06 Mar 2013 17:08:16 +0400 Vladimir Testov <[email protected]> пишет:
> In current state we could not correctly use styled box for highlight_style. > > We could set only center slice for highlight_style. Otherwise highlighted > area > won't be correctly displayed. > > Patch included. I am curious why would you need border elements. To me having left and right padding sounds like being wrong for horizontal progress bar. It draws something when there is zero content. _______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
