summaryrefslogtreecommitdiffstats
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
commit8bfc0529b576fb0ac928975878061f136e4aa517 (patch)
tree1383a74f5697713600d6d17d1949fb4f6dd26c75
parentf6da1483a4c8fe4cf474e0d25e7b83863d0c39b0 (diff)
downloadmetatile-8bfc0529b576fb0ac928975878061f136e4aa517.tar
metatile-8bfc0529b576fb0ac928975878061f136e4aa517.zip
Nuke old TODOs, add a documentation TODO
darcs-hash:20071011022127-a5988-c7be7ee4a018c77e11d0189e0b7b798f7d18ed58
-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.