>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.
Didn't get your idea. If we don't have borders of the highlight_style element
then paddings of the element are zero and everything is the same as before. If
we want to have more detailed view of the highlight_style element - we can use
it. (with the patch)
Or maybe you didn't get how exactly the scrollbar is beeing drawn in "styled"
mode...
Please, be more specific.
Should I sent some screenshots, describing what exactly has been changed and
why?
--
With best regards,
_______________________________
Vladimir Testov, ROSA Laboratory.
www.rosalab.ru
_______________________________________________
Grub-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/grub-devel
