Operating system: Windows 7 64bit
Graphics card: GeForce 1060
Broken: blender-2.80.0-git.ec471a9b1c14-windows64 (built 16. Feb. '19)
Short description of error
in the preferences, switching "Line Width" from "Thin" to "Thick" makes
borders between screen areas wider by 4 pixels, but only 2 pixels wider
for the mouse cursor to grab it
Exact steps for others to reproduce the error
- start blender, set "Line Width" to "Thin" in the preferences, if it is not already
- go to any screen area's border, notice that it is 3 pixels wide and you can grab it pixel-perfectly
- switch "Line Width" to "Thick"
- again look at any border, notice how it is 7 pixels wide but you can only grab the inner 5
not sure what to add, fixing this would obviously make it require less attention to resize areas
or for the right-click split/join operation.