aboutsummaryrefslogtreecommitdiffstats
path: root/DynamicWorkspaces.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* code cleanup in selectWorkspace.David Roundy2007-10-171-4/+3
| | | | darcs-hash:20071016231218-72aca-0da806169b43d3b2dfebae4f83b556dadc0fdb74.gz
* allow users to go to dynamically-added workspaces with mod-n.David Roundy2007-10-171-2/+23
| | | | darcs-hash:20071016230301-72aca-e003c298f830d89d4125c5d15accb4ed71bc6241.gz
* add modules to deal with Workspaces (select, etc) by name using XPrompt.David Roundy2007-10-171-3/+13
| | | | darcs-hash:20071016223347-72aca-a0a6ab2a43a33f5901640fa2f192e0af3ef61a74.gz
* defaultLayouts -> layoutsSpencer Janssen2007-10-151-1/+1
| | | | darcs-hash:20071015205542-a5988-4636825868c99db4f3cfdcd6b1e361d78e393762.gz
* 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-11-19 21:25:24 +0000