Editing drawn masks case of hit and miss

I have not looked into darktable’s source code. But when you use OpenGL for example and you want to pick (select) a point on the screen you do not want to select one single pixel - you want to select the neighborhood and get a hit. But if there is some relative, or absolute, margin this would make life (picking) easier.