This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project wmaker-crm.git.
The branch, next has been updated
via 59537ec4cd4d7ba5060b5b2f6dad8e8f92f4c002 (commit)
from ff54edb25ac4bfaca64981c3c1cf7a336a31fd2f (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
http://repo.or.cz/w/wmaker-crm.git/commit/59537ec4cd4d7ba5060b5b2f6dad8e8f92f4c002
commit 59537ec4cd4d7ba5060b5b2f6dad8e8f92f4c002
Author: Amadeusz Sławiński <[email protected]>
Date: Mon Sep 22 16:33:24 2014 +0200
fix maximize when dock is set 'on top' and it should be covered
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]>
diff --git a/src/xinerama.c b/src/xinerama.c
index e1e47ee5..d490b0c9 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)
-----------------------------------------------------------------------
Summary of changes:
src/xinerama.c | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
repo.or.cz automatic notification. Contact project admin [email protected]
if you want to unsubscribe, or site admin [email protected] if you receive
no reply.
--
wmaker-crm.git ("The Window Maker window manager")
--
To unsubscribe, send mail to [email protected].
