darcs patch: merge old workspace tags with new on restart.
27 Sep
2007
27 Sep
'07
2:34 a.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 <droundy@darcs.net> * merge old workspace tags with new on restart.
29 Sep
29 Sep
2:22 a.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 <droundy@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 ;).
6967
Age (days ago)
6969
Last active (days ago)
1 comments
2 participants
participants (2)
-
David Roundy -
Spencer Janssen