Code review comment for lp:~damiannohales/plank/window-border-margin

Revision history for this message
Rico Tzschichholz (ricotz) wrote :

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