[Xmonad] darcs patch: Bugfix: reordering when filtering out the
last window ...
Donald Bruce Stewart
dons at cse.unsw.edu.au
Sat Jul 28 09:41:03 EDT 2007
> Sat Jul 28 15:25:07 CEST 2007 Karsten Schoelzel <kuser at gmx.de>
> * Bugfix: reordering when filtering out the last window on a workspace
> Say you have three windows A B C* on a workspace with * marking the focus.
> If you close C or move it to another workspace, the resulting order will be B* A,
> thus reordering the other windows, defying the comment of filter.
Can we get a QC property for this too? Looks like we moved over to
'filter', without enough QC properties to specify its behaviour.
More information about the Xmonad