>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.