aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSpencer Janssen <sjanssen@cse.unl.edu>2007-04-10 04:12:38 +0200
committerSpencer Janssen <sjanssen@cse.unl.edu>2007-04-10 04:12:38 +0200
commit4ddbc6d5d3a3cf65da596a94b1607bd805ead715 (patch)
tree3a216c77325aad14753a874efd3ccb32063c9c6e
parenta6e6b47a087907199148b90c59cbdbf3e96bb274 (diff)
downloadxmonad-4ddbc6d5d3a3cf65da596a94b1607bd805ead715.tar.gz
xmonad-4ddbc6d5d3a3cf65da596a94b1607bd805ead715.tar.xz
xmonad-4ddbc6d5d3a3cf65da596a94b1607bd805ead715.zip
Add notes about StackSet redesign
darcs-hash:20070410021238-a5988-da6ee693b4a0f5ff6de25bcde93312e9f248139e.gz
-rw-r--r--TODO14
1 files changed, 13 insertions, 1 deletions
diff --git a/TODO b/TODO
index 98bfad1..ade2d76 100644
--- a/TODO
+++ b/TODO
@@ -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.