GUI adjust grab pixel size, possible to adjust?


I’m constantly hunting for that one pixel location which allows me to grab the window border, res is 2560x1600. Is there anywhere I can adjust the height/width of these? Imagine working on a 4k/8k display and having to do precise mouse navigation to get to a single pixel. If this is not possible atm, is it worth patching? Is anybody else having this issue?

I’ve checked user prefs and themes, but couldn’t spot anything obvious. My DPI is at 96 for readability, but don’t feel the grab size is influenced. But I don’t want to go any higher than 96 either.