diff options
author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-05-16 01:48:35 (GMT) |
---|---|---|
committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-05-16 01:48:35 (GMT) |
commit | 2815393751463b7d35ee5838d96a16ab74adf414 (patch) | |
tree | ef4256eca624728fc7da26bae31d611becae7a0f /src | |
parent | 4f8aa2519e08b67b81125f589187902884274216 (diff) | |
download | fluxbox_lack-2815393751463b7d35ee5838d96a16ab74adf414.zip fluxbox_lack-2815393751463b7d35ee5838d96a16ab74adf414.tar.bz2 |
minor changes for frame extent calculations
Diffstat (limited to 'src')
-rw-r--r-- | src/Ewmh.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Ewmh.cc b/src/Ewmh.cc index 17253bd..49faaa5 100644 --- a/src/Ewmh.cc +++ b/src/Ewmh.cc | |||
@@ -1153,7 +1153,7 @@ bool Ewmh::checkClientMessage(const XClientMessageEvent &ce, | |||
1153 | return true; | 1153 | return true; |
1154 | FbTk::ThemeProxy<FbWinFrameTheme> &theme = screen->focusedWinFrameTheme(); | 1154 | FbTk::ThemeProxy<FbWinFrameTheme> &theme = screen->focusedWinFrameTheme(); |
1155 | unsigned int bw = theme->border().width(); | 1155 | unsigned int bw = theme->border().width(); |
1156 | long title_h = theme->titleHeight() || | 1156 | long title_h = theme->titleHeight() + 2*bw || |
1157 | theme->font().height() + 2*theme->bevelWidth() + 2 + 2*bw; | 1157 | theme->font().height() + 2*theme->bevelWidth() + 2 + 2*bw; |
1158 | long handle_h = theme->handleWidth() + 2*bw; | 1158 | long handle_h = theme->handleWidth() + 2*bw; |
1159 | long extents[4]; | 1159 | long extents[4]; |
@@ -1465,7 +1465,7 @@ void Ewmh::updateFrameExtents(FluxboxWindow &win) { | |||
1465 | for (; it != it_end; ++it) { | 1465 | for (; it != it_end; ++it) { |
1466 | long extents[4]; | 1466 | long extents[4]; |
1467 | // our frames currently don't protrude from left/right | 1467 | // our frames currently don't protrude from left/right |
1468 | int bw = win.frame().window().borderWidth() - (*it)->old_bw; | 1468 | int bw = win.frame().window().borderWidth(); |
1469 | extents[0] = bw; | 1469 | extents[0] = bw; |
1470 | extents[1] = bw; | 1470 | extents[1] = bw; |
1471 | extents[2] = win.frame().titlebarHeight() + bw; | 1471 | extents[2] = win.frame().titlebarHeight() + bw; |