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

[David Roundy]

On Wed, Jun 13, 2007 at 03:15:03PM -0700, Stefan O'Rear wrote:
> 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.

That's something I've wondered about.  Why do we need to store the size and
position, doesn't X store the size of windows, even when you've hidden
them? I imagine that it has to do with Xinerama, and have speculated as to
solutions, but would rather not bore you with my speculations without
knowing why exactly we feel the need to store those RationalRects.
-- 
David Roundy
Department of Physics
Oregon State University