[Xmonad] darcs patch: make workspace tag not need to be a Num.

[Stefan O'Rear]

On Wed, Jun 13, 2007 at 09:43:39AM -0500, Spencer Janssen wrote:
> > This seems particularly relevant as dons is talking about creating a
> > Stack for the float layer (which makes lots of sense to me), and I'll
> > be voting for allowing custom layouts to the float layer: part of my
> > grand scheme to make the float layer an equal citizen with other
> > layout systems, but also useful for people who want tabs on their
> > windows so they can see titles and drag them around with the use of
> > only one hand.
> 
> Yes, this is a good idea.  After all, a floating layout is just a
> layout that happens to listen to windows requested sizes.

Sadly, xmonad's current floating layer is NOT such a floating layout
because it is stateful - it allows you to resize windows.

Layout-level state is not an option because then the windows would
forget their size when moved between workspaces.

The only reasonable approach I can think of (_XMONAD_USER_SIZE
properties) is probably unacceptable because it is deeply untyped.

Stefan