aboutsummaryrefslogtreecommitdiffstats
path: root/TODO
diff options
context:
space:
mode:
authorSpencer Janssen <sjanssen@cse.unl.edu>2007-10-11 04:21:27 +0200
committerSpencer Janssen <sjanssen@cse.unl.edu>2007-10-11 04:21:27 +0200
commit6f919c94cfa94723831f3922965ef4d462f549e5 (patch)
tree1383a74f5697713600d6d17d1949fb4f6dd26c75 /TODO
parent0bc82d4c38101414430ec3d5055106f355d1d540 (diff)
downloadxmonad-6f919c94cfa94723831f3922965ef4d462f549e5.tar.gz
xmonad-6f919c94cfa94723831f3922965ef4d462f549e5.tar.xz
xmonad-6f919c94cfa94723831f3922965ef4d462f549e5.zip
Nuke old TODOs, add a documentation TODO
darcs-hash:20071011022127-a5988-c7be7ee4a018c77e11d0189e0b7b798f7d18ed58.gz
Diffstat (limited to '')
-rw-r--r--TODO12
1 files changed, 2 insertions, 10 deletions
diff --git a/TODO b/TODO
index d5c20dc..3fb56d3 100644
--- a/TODO
+++ b/TODO
@@ -1,10 +1,2 @@
-
-- possibles:
- * more QC tests
- - use more constrained type in StackSet to avoid pattern match warnings
- - audit for events handled in dwm.
-
-- related:
- - xcb bindings
- - randr
-
+ - Write down invariants for the window life cycle, especially:
+ - When are borders set? Prove that the current handling is sufficient.