diff options
Diffstat (limited to 'src/Ewmh.cc')
-rw-r--r-- | src/Ewmh.cc | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/Ewmh.cc b/src/Ewmh.cc index 15caab0..27c938b 100644 --- a/src/Ewmh.cc +++ b/src/Ewmh.cc | |||
@@ -1249,11 +1249,16 @@ void Ewmh::setupState(FluxboxWindow &win) { | |||
1249 | } | 1249 | } |
1250 | 1250 | ||
1251 | void Ewmh::updateFrameExtents(FluxboxWindow &win) { | 1251 | void Ewmh::updateFrameExtents(FluxboxWindow &win) { |
1252 | /* Frame extents are basically the amount the window manager frame | ||
1253 | protrudes from the client window, on left, right, top, bottom | ||
1254 | (it is independent of window position). | ||
1255 | */ | ||
1252 | int extents[4]; | 1256 | int extents[4]; |
1253 | extents[0] = win.frame().x(); | 1257 | // our frames currently don't protrude from left/right |
1254 | extents[1] = win.frame().x() + win.frame().width(); | 1258 | extents[0] = 0; |
1255 | extents[2] = win.frame().y(); | 1259 | extents[1] = 0; |
1256 | extents[3] = win.frame().y() + win.frame().height(); | 1260 | extents[2] = win.frame().titlebarHeight(); |
1261 | extents[3] = win.frame().handleHeight(); | ||
1257 | 1262 | ||
1258 | FluxboxWindow::ClientList::iterator it = win.clientList().begin(); | 1263 | FluxboxWindow::ClientList::iterator it = win.clientList().begin(); |
1259 | FluxboxWindow::ClientList::iterator it_end = win.clientList().end(); | 1264 | FluxboxWindow::ClientList::iterator it_end = win.clientList().end(); |