On Mon, 22 Sep 2014 23:11:41 +0100
"Carlos R. Mafra" <[email protected]> wrote:
> On Tue, 23 Sep 2014 at 0:04:07 +0200, Amadeusz Sławiński wrote:
> > On Mon, 22 Sep 2014 22:55:12 +0100
> > "Carlos R. Mafra" <[email protected]> wrote:
> >
> > > On Mon, 22 Sep 2014 at 23:15:28 +0200, Johann Haarhoff wrote:
> > > >
> > > > B.T.W I have applied Amadeusz Sławiński's patch from 22/09/2014
> > > > 16:53, and everything behaves as I expect.
> > >
> > > I'm glad you mentioned the patch, because I haven't seen it.
> > >
> > > It's not in my wmaker folder nor in the spam, it fell into a black
> > > hole.
> > >
> > > Amadeusz, can you send the patch again with me in the Cc:?
> > >
> > >
> > >
> >
> > Weird, anyway here is archive link:
> >
> > http://thread.gmane.org/gmane.comp.window-managers.windowmaker.devel/8130
>
> I've seen the link, but there is no way to download the patch...
>
>
Ah, check attachment then.
>From 14c35aed615576a72685a1bacc3c309bf95818c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Amadeusz=20S=C5=82awi=C5=84ski?= <[email protected]>
Date: Mon, 22 Sep 2014 16:33:24 +0200
Subject: [PATCH] fix maximize when dock is set 'on top' and it should be
covered
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Window Maker was not correctly maximizing windows in some cases
"... do not cover dock" enabled with "Dock postion":
Normal - maximizes ok
Auto raise & lower - maximizes ok
Keep on Top - maximizes ok
"... do not cover dock" disabled with "Dock postion":
Normal - maximizes ok
Auto raise & lower - maximizes ok
Keep on Top - maximizes not covering dock
Reported-by: Johann Haarhoff <[email protected]>
Signed-off-by: Amadeusz SÅawiÅski <[email protected]>
---
src/xinerama.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/xinerama.c b/src/xinerama.c
index e1e47ee..d490b0c 100644
--- a/src/xinerama.c
+++ b/src/xinerama.c
@@ -306,7 +306,7 @@ WArea wGetUsableAreaForHead(WScreen * scr, int head, WArea * totalAreaPtr, Bool
if (noicons) {
/* check if user wants dock covered */
- if (scr->dock && (!scr->dock->lowered || wPreferences.no_window_over_dock)) {
+ if (scr->dock && wPreferences.no_window_over_dock) {
int offset = wPreferences.icon_size + DOCK_EXTRA_SPACE;
if (scr->dock->on_right_side)
--
2.1.0
