all repos — fluxbox @ 93ccd39a4897710b298c7bd947ed3e91ccca879e

custom fork of the fluxbox windowmanager

fix placement of windows with non-default decorations
Mark Tiefenbruck mark@fluxbox.org
commit

93ccd39a4897710b298c7bd947ed3e91ccca879e

parent

4c11204716c3e31d853cb071239cafea52a92efc

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

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

@@ -1491,6 +1491,7 @@ }

if (do_move) reconfigure(); + m_state.saveGeometry(x(), y(), width(), height()); if (client_move) frameExtentSig().notify(); }
M src/MinOverlapPlacement.ccsrc/MinOverlapPlacement.cc

@@ -60,8 +60,10 @@ const ScreenPlacement &screen_placement = win.screen().placementStrategy();

s_row_dir = screen_placement.rowDirection(); s_col_dir = screen_placement.colDirection(); - int win_w = win.width() + win.fbWindow().borderWidth()*2 + win.widthOffset(); - int win_h = win.height() + win.fbWindow().borderWidth()*2 + win.heightOffset(); + int win_w = win.normalWidth() + win.fbWindow().borderWidth()*2 + + win.widthOffset(); + int win_h = win.normalHeight() + win.fbWindow().borderWidth()*2 + + win.heightOffset(); // we keep a set of open spaces on the desktop, sorted by size/location std::set<Region> region_set;