From 4b9584fdb14fc362f48f207ac1df8165d21002a2 Mon Sep 17 00:00:00 2001 From: Uli Schlachter Date: Mon, 15 Feb 2016 21:15:41 +0100 Subject: [PATCH] Fix awful.ewmh to handle window gravities Since commit b2aaefd095c964491f2c93a, we correctly handle window gravities when the border width of a client changes. Since most windows out there have a NorthWest gravity, this means that most windows do not have this problem. However, e.g. mplayer uses gravity "Static" and this causes this issue (any gravity other than NorthWest will do). This affects the fullscreen handling in awful.ewmh. The code has to set the border width before it changes a client's geometry so that the move when the border width changes doesn't matter. No new integration test for this since I didn't find anything usable with a non-NorthWest gravity. A test would be easy to write, just test if `c.fullscreen = true ; c.fullscreen = false` restores the previous window geometry. Fixes: https://github.com/awesomeWM/awesome/issues/697 Signed-off-by: Uli Schlachter --- lib/awful/ewmh.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/awful/ewmh.lua b/lib/awful/ewmh.lua index cd04c9ea..e2b5ed8e 100644 --- a/lib/awful/ewmh.lua +++ b/lib/awful/ewmh.lua @@ -70,11 +70,11 @@ local function fullscreen(window, set) if set then store_geometry(window, "fullscreen") data[window].fullscreen.border_width = window.border_width - window:geometry(screen[window.screen].geometry) window.border_width = 0 + window:geometry(screen[window.screen].geometry) elseif data[window] and data[window].fullscreen then - window:geometry(data[window].fullscreen) window.border_width = data[window].fullscreen.border_width + window:geometry(data[window].fullscreen) end end