Re: [PATCH] FIX window resizing when a grouped session's child dies

2013-04-22 Thread Nicholas Marriott
Applied, thanks, although I left out the comment. On Fri, Apr 19, 2013 at 01:25:27AM -0700, Daniel Ralston wrote: > Hi all, > > I found and fixed a bug where window sizes weren't being recalculated > in grouped sessions when a session's child dies, killing the window. > > I've included the repro

[PATCH] FIX window resizing when a grouped session's child dies

2013-04-19 Thread Daniel Ralston
Hi all, I found and fixed a bug where window sizes weren't being recalculated in grouped sessions when a session's child dies, killing the window. I've included the repro steps in the commit message. Let me know if you'd like any changes. Daniel >From d7c541ad37dbe14dc50a2878448f5de0b