[Xmonad] darcs patch: simplify StackSet.delete (and 2 more)
Donald Bruce Stewart
dons at cse.unsw.edu.au
Mon Jun 25 00:54:05 EDT 2007
> Sorry, I forgot to send this earlier. These are the changes needed to
> support sticky windows.
> Sun Jun 24 07:48:54 PDT 2007 David Roundy <droundy at darcs.net>
> * simplify StackSet.delete
> Sun Jun 24 07:59:31 PDT 2007 David Roundy <droundy at darcs.net>
> * make delete work when window is in multiple workspaces.
> Sun Jun 24 08:02:08 PDT 2007 David Roundy <droundy at darcs.net>
> * fix apparent memory leak when floating windows are deleted.
David, can you talk about why/what is needed to support sticky windows,
how the current semantics have to change, and any consequences that
might result from these changes? Are there some quickcheck properties
that can establish the stickyness works?
More discussion please!
More information about the Xmonad