diff options
| author | Rob <bobstopper@bobturf.org> | 2007-05-25 04:41:18 +0200 |
|---|---|---|
| committer | Rob <bobstopper@bobturf.org> | 2007-05-25 04:41:18 +0200 |
| commit | 2cdf36f4d4629e2cea75c4f333951c69c76d5b24 (patch) | |
| tree | 2dfab7a361de820b79c86250d065eaf676d48a2d /Setup.lhs | |
| parent | 5e3ddbe901826a82621f7f0af04c390ebc8c77e3 (diff) | |
| download | metatile-2cdf36f4d4629e2cea75c4f333951c69c76d5b24.tar metatile-2cdf36f4d4629e2cea75c4f333951c69c76d5b24.zip | |
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.
darcs-hash:20070525024118-64d90-a9f70b49186be59e62af4b11671099996c5e294f
Diffstat (limited to 'Setup.lhs')
0 files changed, 0 insertions, 0 deletions