-
Michael Reisecker authored
Now we focus on the styling widget (usually the label), to scroll to the beginning of the content. (Otherwise the horizontal scroll bar would center) Also: use the same color for frame and panel highlighting.
3f3478c1
WSL/SLF GitLab Repository
Now we focus on the styling widget (usually the label), to scroll to the beginning of the content. (Otherwise the horizontal scroll bar would center) Also: use the same color for frame and panel highlighting.