[Xmonad] darcs patch: switch WorkspaceId to String.
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.
> Mon Aug 20 04:36:58 PDT 2007 David Roundy <droundy at darcs.net>
> * switch WorkspaceId to String.
More information about the Xmonad