aboutsummaryrefslogtreecommitdiffstats
path: root/DynamicWorkspaces.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* some renaming of classes and data types.David Roundy2007-09-291-2/+2
| | | | darcs-hash:20070929191238-72aca-ceb0f2a89b35460e87cf9ff935f786b5a6028fb5.gz
* fix DynamicWorkspaces.David Roundy2007-09-261-15/+11
| | | | darcs-hash:20070925220659-72aca-af6f6b56fd706bcd2b666a041e496eefb6d34875.gz
* Match 'Remove Operations functions which have StackSet equivalents' from the ↵Spencer Janssen2007-09-171-4/+3
| | | | | | core darcs-hash:20070917213329-a5988-b9cc2ae3e1c8740eecb9300a4b92a2dcd9c81aa1.gz
* make Contrib use WorkspaceIdDavid Roundy2007-08-201-2/+5
| | | | darcs-hash:20070820113813-72aca-30984283cb9c04185fde9c89253af00e16912c10.gz
* clean up DynamicWorkspaces to handle layouts properly.David Roundy2007-08-141-12/+16
| | | | darcs-hash:20070814183542-72aca-69bc348ac38c0a2133782d874344255ab1221821.gz
* make DynamicWorkspace more thorough.David Roundy2007-08-141-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 Roundy2007-08-141-0/+52
darcs-hash:20070814011501-72aca-10aa9dd1a14ac1179f8cc16ebd52b1e54a505df8.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 19:35:37 +0000