22ad0b9faf
When resizing areas by dragging at the edges, the hit area is wider than the visible border. This extra border padding is extended in this PR by another one pixel on each side. This increases the hit width by about 30%. This is possible because this adjusts for scrollbars at the edge of the area. Pull Request: https://projects.blender.org/blender/blender/pulls/135952