-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.