Nuke old TODOs, add a documentation TODO

2025-08-01 12:41:53 -07:00 · 2007-10-11 02:21:27 +00:00
parent 3cf5c1f9d4
commit e331dd4a82
1 changed files with 2 additions and 10 deletions
--- a/12
+++ b/12
@@ -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.