[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