aboutsummaryrefslogblamecommitdiffstats
path: root/TODO
blob: 3fb56d3e5e8485c026b428e76fca1d089c555033 (plain) (tree)
1
2

                                                                           
 - Write down invariants for the window life cycle, especially:
    - When are borders set?  Prove that the current handling is sufficient.