[Xmonad] darcs patch: simplify StackSet.delete (and 2 more)

[Jason Creighton]

On Tue, Jun 26, 2007 at 01:40:41PM +1000, Donald Bruce Stewart wrote:
> droundy:
> > I'm not sure what you mean by the stickiness "working".  It just means a
> > window exists in multiple workspaces.  I guess you might want to check that
> > after deleting a window it isn't present in the stackset, even if it's
> > present in multiple workspaces to start out.  The second property involves
> > code in the X monad which isn't currently quickcheckable.
> 
> How does it interact with Xinerama, if we're viewing multiple workspaces
> simultaneously?

I feel like how tagging/stickiness interacts with Xinerama is not really
a big issue: Multiple monitors take a lot of the stress off of a window
manager, since with the extra screen real estate, you get a lot of the
features for free that single-screeners have to emulate.

So my opinion as an Xinerama user WRT tagging is, so long as it does
something somewhat sane and doesn't crash, I don't care. I'm probably
not going to use it anyway. I don't think there's any nice, simple way
to make tagging work with Xinerama, and I don't think that's a problem
because Xinerama essentially already gives you what you're trying to do
with tagging.

So if stickiness can be implemented in a way that makes sense for the
single-screen case, and doesn't totally screw up Xinerama, I think it's
probably a good idea. You poor people stuck within the confines of one
monitor need all the help you can get. :)

Jason Creighton