Re: [Xmonad] darcs patch: Bugfix: reordering when filtering out the last window ...

On Sat, Jul 28, 2007 at 11:41:03PM +1000, Donald Bruce Stewart wrote:

kuser:

...

Sat Jul 28 15:25:07 CEST 2007 Karsten Schoelzel * 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.

Haven't worked with QC yet, could we check for order preservation with something like this: integrate' (filter p s) == L.filter p (integrate' s) -- Karsten Schölzel | Email: kuser@gmx.de Friedrichstraße 7 | Jabber: topox@jabber.ccc.de 18057 Rostock | VoIP: sip:5857712@sipgate.de Germany | sip:708529@fwd.pulver.com | Tel: +4918015855857712 | Mobile: +491627144185