Page MenuHome

Alter Scrollbar Extents To Not Interfere with Split/Join Areas

Authored by Harley Acheson (harley) on Dec 30 2018, 12:01 AM.



Scrollbars are made to be slightly smaller than the region that they are in, but that margin is quite small at 0.1 x U.widget_unit. Unfortunately we have many places where that is too close to a corner and therefore overlaps with the splitter/join areas at the corners. It can be quite a shock to try to move a scroller only to split the region without warning.

This patch just changes that margin so that the ends (top and bottom for verticals, left and right for horizontals) are pulled in a total of .4 of a U.widget_unit. rather than .1 so that no interference can occur at the corners.

Diff Detail

rB Blender

Event Timeline

This revision is now accepted and ready to land.Jan 4 2019, 3:25 PM
This revision was automatically updated to reflect the committed changes.