On Mon, 11 Nov 2013 at 15:59:44 +0100, Amadeusz Sławiński wrote: > Hello, > > as it was noticed previous patch has problem when icons are on the > other side of screen than dock. > > I decided to do it in what I think is more logical way. > > [PATCH 1/3] move maximization size adjustments to maximization > This moves code checking for dock outside of calculating "usable area" > It's now placed directly in maximization routine as it seems to be the only > place that should really care about this. > (This may change window placement behaviour, but there is already option for > positioning in preferences, so if anything it should work without invisible > walls) > > [PATCH 2/3] make adjustments for dock when calculating area for > When calculating area for icons ingore dock space > > [PATCH 3/3] take dock into account when not covering icons next to it > Previous fixes exposed bug when icons are next to dock and > 'do not cover icons' is checked and 'do not cover dock' unchecked > when maximizing it ignores dock area thus covering icons instead > include dock area in calculations when needed
I uploaded the patches in the #next branch and it would be nice if Josip could test the result. If they fix his problem then we can address the lack of commit message (acknowledging his report, for instance) and the non-compliance of the coding style. -- To unsubscribe, send mail to [email protected].
