[Xmonad] darcs patch: Bugfix: reordering when filtering out
the last window ...
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:
> > 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