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

Karsten Schoelzel kuser at gmx.de
Sat Jul 28 10:29:38 EDT 2007

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 <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.
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 at gmx.de
Friedrichstraße 7       | Jabber: topox at jabber.ccc.de
18057 Rostock           | VoIP:   sip:5857712 at sipgate.de
Germany                 |         sip:708529 at fwd.pulver.com
                        | Tel:    +4918015855857712
			| Mobile: +491627144185

More information about the Xmonad mailing list