summaryrefslogtreecommitdiffstats
path: root/TODO
diff options
context:
space:
mode:
Diffstat (limited to 'TODO')
-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.