diff options
| author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-04-10 04:12:38 +0200 |
|---|---|---|
| committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-04-10 04:12:38 +0200 |
| commit | 4ddbc6d5d3a3cf65da596a94b1607bd805ead715 (patch) | |
| tree | 3a216c77325aad14753a874efd3ccb32063c9c6e | |
| parent | a6e6b47a087907199148b90c59cbdbf3e96bb274 (diff) | |
| download | xmonad-4ddbc6d5d3a3cf65da596a94b1607bd805ead715.tar.gz xmonad-4ddbc6d5d3a3cf65da596a94b1607bd805ead715.tar.xz xmonad-4ddbc6d5d3a3cf65da596a94b1607bd805ead715.zip | |
Add notes about StackSet redesign
darcs-hash:20070410021238-a5988-da6ee693b4a0f5ff6de25bcde93312e9f248139e.gz
| -rw-r--r-- | TODO | 14 |
1 files changed, 13 insertions, 1 deletions
@@ -1,5 +1,5 @@ - Tasks blocking xmonad 0.1 - - Move the multi-screen handling from XState to StackSet + - Move the multi-screen handling from XState to StackSet (see notes below) - Fix the missing windows on workspace switch bug - Clean up focus and mouse related issues. During 'refresh', xmonad should @@ -32,3 +32,15 @@ Statusbar drawing thread, waits for changes in all three TVars, and redraws whenever it finds a change. +- Notes on new StackSet: + + The actors: screens, workspaces, windows + + Invariants: + - There is exactly one screen in focus at any given time. + - A screen views exactly one workspace. + - A workspace is visible on one or zero screens. + - A workspace has zero or more windows. + - A workspace has either one or zero windows in focus. Zero if the + workspace has no windows, one in all other cases. + - A window is a member of only one workspace. |