darcs patch: Deleting a window should not affect focus

Fri May 25 11:41:18 JST 2007 Rob

On Fri, 25 May 2007 11:45:34 +0900
"Robert Marlow"
Fri May 25 11:41:18 JST 2007 Rob
* 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