On Sun, Jun 17, 2007 at 03:30:51PM +1000, Donald Bruce Stewart wrote:

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).

I'll keep that in mind next time. I hadn't thought about htat. -- David Roundy http://www.darcs.net