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 | |
| parent | 4f8aa2519e08b67b81125f589187902884274216 (diff) | |
| download | fluxbox-2815393751463b7d35ee5838d96a16ab74adf414.zip fluxbox-2815393751463b7d35ee5838d96a16ab74adf414.tar.bz2 | |
minor changes for frame extent calculations
| -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; |