[Xmonad] darcs patch: merge old workspace tags with new on restart.

Spencer Janssen sjanssen at cse.unl.edu
Fri Sep 28 14:22:45 EDT 2007


On Wednesday 26 September 2007 13:34:27 David Roundy wrote:
> Here's some slightly verbose code to ensure that the tags in
> workspaces are always present on restart.
>
> David
>
> Wed Sep 26 14:33:09 EDT 2007  David Roundy <droundy at darcs.net>
>   * merge old workspace tags with new on restart.

Applied.

Don is working towards 100% code coverage of StackSet, one of us needs to
write QuickChecks for these new functions or he may go berzerk ;).



More information about the Xmonad mailing list