darcs patch: merge old workspace tags with new on res... (and 1 more)
27 Sep
2007
27 Sep
'07
10:39 p.m.
Hi all, the new change here (which I could amend to not depend on the other patch if desired) makes it so that Config.hs defines a "defaultLayout" that is the initial layout. This makes it a little easier to introduce global layout modifiers (e.g. WorkspaceDir). I don't think it overcomplicates Config.hs, either, although it'd be nice to not have to define possibleLayouts. David Wed Sep 26 14:33:09 EDT 2007 David Roundy <droundy@darcs.net> * merge old workspace tags with new on restart. Thu Sep 27 10:36:04 EDT 2007 David Roundy <droundy@darcs.net> * define defaultLayout in Config.hs.
6870
Age (days ago)
6870
Last active (days ago)
0 comments
1 participants
participants (1)
-
David Roundy