darcs patch: merge old workspace tags with new on restart.
27 Sep
2007
27 Sep
'07
12:04 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
28 Sep
28 Sep
11:52 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 ;).
6675
Age (days ago)
6677
Last active (days ago)
1 comments
2 participants
participants (2)
-
David Roundy -
Spencer Janssen