I mean this margin should not change the size of areas which are used to determine whether the mouse cursor interacts with the dock or not. This doesn't mean it isn't needed to calculate them.
« Back to merge proposal
I mean this margin should not change the size of areas which are used to determine whether the mouse cursor interacts with the dock or not. This doesn't mean it isn't needed to calculate them.