On Thu, Mar 7, 2013 at 8:29 AM, Vladimir Testov <[email protected]> wrote: >>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? >
It always makes sense when dealing with GUI _______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
