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