[Xmonad] darcs patch: switch WorkspaceId to String.

Spencer Janssen sjanssen at cse.unl.edu
Wed Sep 5 16:28:55 EDT 2007

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 <droundy at darcs.net>
>   * switch WorkspaceId to String.

Applied, thanks.

More information about the Xmonad mailing list