[Xmonad] Heads up: state type change : darcs patch: make workspace tag not need to be a Num.

droundy:

This is an amend-recorded version, which fixes a conflict with the recent haddock changes in StackSet.

David

Thu Jun 14 07:07:09 PDT 2007 David Roundy * make workspace tag not need to be a Num. This change also removes the barely used 'size' field, and replaces it with a tagMember predicate. The idea is to move towards the ability to make the workspace tag be a String, which by default might be "1".."9", but could also be customized to be something meaningful to the user.

Applied, thanks. Note there was a duplicate import list, so please check -Wall next time. Also, this patch is a state data type change, so restart/mod-q will not remember hidden workspaces. Be sure to actually exit X after applying this patch. (State-format changing patches should be tagged as such). -- Don