[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