From 8bfc0529b576fb0ac928975878061f136e4aa517 Mon Sep 17 00:00:00 2001
From: Spencer Janssen <sjanssen@cse.unl.edu>
Date: Thu, 11 Oct 2007 04:21:27 +0200
Subject: Nuke old TODOs, add a documentation TODO

darcs-hash:20071011022127-a5988-c7be7ee4a018c77e11d0189e0b7b798f7d18ed58
---
 TODO | 12 ++----------
 1 file 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.
-- 
cgit v1.2.3