all repos — fluxbox @ 8bcd03c172ad5a6efc04632fa1f36c9d02e58bc9

custom fork of the fluxbox windowmanager

issue with maximise and quadrant resize
simonb simonb
commit

8bcd03c172ad5a6efc04632fa1f36c9d02e58bc9

parent

a4b0582739971fabe4626110e6551396315e3996

3 files changed, 12 insertions(+), 0 deletions(-)

jump to
M ChangeLogChangeLog

@@ -1,5 +1,8 @@

(Format: Year/Month/Day) Changes for 0.9.16: +*06/05/16: + * Fix bug with horizontal maximisation when quadrant resizing (Mathias) + Window.hh/cc *06/05/13: * Fixed some title redraw issues (Thanks _markt) WinClient.cc, Window.cc
M src/Window.ccsrc/Window.cc

@@ -1655,6 +1655,9 @@

if (isShaded()) shade(); + if (isResizing()) + stopResizing(); + int head = screen().getHead(frame().window()); int new_x = frame().x(), new_y = frame().y(),

@@ -1730,7 +1733,12 @@ m_last_resize_x = new_x;

m_last_resize_y = new_y; m_last_resize_w = new_w; m_last_resize_h = new_h; + + ResizeCorner old_resize_corner = m_resize_corner; + m_resize_corner = NOCORNER; fixsize(); + m_resize_corner = old_resize_corner; + moveResize(m_last_resize_x, m_last_resize_y, m_last_resize_w, m_last_resize_h); } /**
M src/Window.hhsrc/Window.hh

@@ -135,6 +135,7 @@ DECORM_LAST = (1<<11) // useful for getting "All"

}; enum ResizeCorner { + NOCORNER, LEFTTOP, LEFTBOTTOM, RIGHTBOTTOM,