[Xmonad] darcs patch: switch WorkspaceId to String.

Andrea Rossato mailing_list at istitutocolli.org
Tue Aug 21 01:52:03 EDT 2007


On Mon, Aug 20, 2007 at 10:36:15AM -0400, David Roundy wrote:
> These cycle through the workspaces? Shouldn't it work just the same? And
> perhaps you'd care to add it to XMonadContrib?

I'm lazy so it used the W constructor...;-) I changed it so now it
will work with the new WorkspaceID type.

I've just sent it.
> 
> Yeah, I wish this were prettier.  We could also use
> 
> workspaces = ["1","2","3","4","5","6","7","8","9"]

I agree: it is more verbose but definitely better. Moreover it makes
clear that you can use more meaningful values, as you pointed out.

Andrea


More information about the Xmonad mailing list