summaryrefslogtreecommitdiffstats
path: root/TODO
blob: 3fb56d3e5e8485c026b428e76fca1d089c555033 (plain)
1
2
 - Write down invariants for the window life cycle, especially:
    - When are borders set?  Prove that the current handling is sufficient.