Re: [Xmonad] darcs patch: switch WorkspaceId to String.

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