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

On Monday 20 August 2007 06:44:47 David Roundy wrote:

I don't know what folks will think of this, but I'd rather have WorkspaceId be a String. Then we don't need to worry about associating Strings with workspaces, and everything's pretty.

David

Mon Aug 20 04:36:58 PDT 2007 David Roundy * switch WorkspaceId to String.

Applied, thanks.