Discussion link

#9884

Description

Currently, we use the window's "ideal" box (aka the layout box, including gaps, etc) for tracing follows_mouse.

For some users, that might be undesirable, as the focus switch could be quite aggressive.

Add an option to shrink those boxes by a set amount of layout pixels.