darcs patch: Deleting a window should not affect focus
Fri May 25 11:41:18 JST 2007 Rob <bobstopper@bobturf.org> * Deleting a window should not affect focus This fixes a bug whereby deleting a window will first move focus to that window before deleting it without moving focus back afterwards. The fix generalises the remove inner function to delete a window from the stack whether it's in focus or not. If the window is in focus, behaviour remains as it was.
On Fri, 25 May 2007 11:45:34 +0900 "Robert Marlow" <bobstopper@bobturf.org> wrote:
Fri May 25 11:41:18 JST 2007 Rob <bobstopper@bobturf.org> * Deleting a window should not affect focus This fixes a bug whereby deleting a window will first move focus to that window before deleting it without moving focus back afterwards.
The fix generalises the remove inner function to delete a window from the stack whether it's in focus or not. If the window is in focus, behaviour remains as it was.
Applied, thanks.
participants (2)
-
Robert Marlow -
Spencer Janssen