15 Aug
2007
15 Aug
'07
11:46 a.m.
On Tuesday 14 August 2007 13:36:17 David Roundy wrote:
Mon Aug 13 18:15:01 PDT 2007 David Roundy <droundy@darcs.net> * new module DynamicWorkspaces to add and remove workspaces.
Mon Aug 13 18:45:48 PDT 2007 David Roundy <droundy@darcs.net> * make DynamicWorkspace more thorough. Note: there's still a bug due to our failure to inform the old layouts to clean up.
Tue Aug 14 11:35:42 PDT 2007 David Roundy <droundy@darcs.net> * clean up DynamicWorkspaces to handle layouts properly.
Applied.