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

26 Sep
2007
26 Sep
'07
2:34 p.m.
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

28 Sep
28 Sep
2:22 p.m.
New subject: [Xmonad] darcs patch: merge old workspace tags with new on restart.
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
* 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 ;).
6444
Age (days ago)
6446
Last active (days ago)
1 comments
2 participants
participants (2)
-
David Roundy
-
Spencer Janssen