Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | clean up DynamicWorkspaces to handle layouts properly. | David Roundy | 2007-08-14 | 1 | -12/+16 |
| | | | | darcs-hash:20070814183542-72aca-69bc348ac38c0a2133782d874344255ab1221821.gz | ||||
* | make DynamicWorkspace more thorough. | David Roundy | 2007-08-14 | 1 | -13/+28 |
| | | | | | | | Note: there's still a bug due to our failure to inform the old layouts to clean up. darcs-hash:20070814014548-72aca-9b66ee3deba31a15b6e0b0dd0b79847edc6fc6e3.gz | ||||
* | new module DynamicWorkspaces to add and remove workspaces. | David Roundy | 2007-08-14 | 1 | -0/+52 |
darcs-hash:20070814011501-72aca-10aa9dd1a14ac1179f8cc16ebd52b1e54a505df8.gz |