mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 20:38:08 +01:00
make adjustments for dock when calculating area for miniwindows
Fixes bug report: The 0.80.2 and older versions allowed the miniwindows to lay down in parallel with wmdock (if one wanted it that way) but newer Windowmaker versions could only partially simulate such behavior and that includes to either setting an option NoWindowOverDock to yes or to manually set the dock to "Keep on Top". Reported-by: Josip Deanovic <djosip+news@linuxpages.net> Signed-off-by: Amadeusz Sławiński <amade@asmblr.net>
This commit is contained in:
committed by
Carlos R. Mafra
parent
952319ae60
commit
09b28b92f1
@@ -1740,7 +1740,19 @@ void wArrangeIcons(WScreen *scr, Bool arrangeAll)
|
||||
|
||||
for (head = 0; head < heads; ++head) {
|
||||
WArea area = wGetUsableAreaForHead(scr, head, NULL, False);
|
||||
WMRect rect = wmkrect(area.x1, area.y1, area.x2 - area.x1, area.y2 - area.y1);
|
||||
WMRect rect;
|
||||
|
||||
if (scr->dock) {
|
||||
int offset = wPreferences.icon_size + DOCK_EXTRA_SPACE;
|
||||
|
||||
if (scr->dock->on_right_side)
|
||||
area.x2 -= offset;
|
||||
else
|
||||
area.x1 += offset;
|
||||
}
|
||||
|
||||
rect = wmkrect(area.x1, area.y1, area.x2 - area.x1, area.y2 - area.y1);
|
||||
|
||||
vars[head].pi = vars[head].si = 0;
|
||||
vars[head].sx1 = rect.pos.x;
|
||||
vars[head].sy1 = rect.pos.y;
|
||||
|
||||
Reference in New Issue
Block a user