all repos — fluxbox @ 2815393751463b7d35ee5838d96a16ab74adf414

custom fork of the fluxbox windowmanager

minor changes for frame extent calculations
Mark Tiefenbruck mark@fluxbox.org
commit

2815393751463b7d35ee5838d96a16ab74adf414

parent

4f8aa2519e08b67b81125f589187902884274216

1 files changed, 2 insertions(+), 2 deletions(-)

jump to
M src/Ewmh.ccsrc/Ewmh.cc

@@ -1153,7 +1153,7 @@ if (!screen)

return true; FbTk::ThemeProxy<FbWinFrameTheme> &theme = screen->focusedWinFrameTheme(); unsigned int bw = theme->border().width(); - long title_h = theme->titleHeight() || + long title_h = theme->titleHeight() + 2*bw || theme->font().height() + 2*theme->bevelWidth() + 2 + 2*bw; long handle_h = theme->handleWidth() + 2*bw; long extents[4];

@@ -1465,7 +1465,7 @@ FluxboxWindow::ClientList::iterator it_end = win.clientList().end();

for (; it != it_end; ++it) { long extents[4]; // our frames currently don't protrude from left/right - int bw = win.frame().window().borderWidth() - (*it)->old_bw; + int bw = win.frame().window().borderWidth(); extents[0] = bw; extents[1] = bw; extents[2] = win.frame().titlebarHeight() + bw;