-
Matthias Clasen authored
Use a vertical box gadget for the overall expander, and a horizontal one for the title row. This lets us get rid of all the custom allocation code here.
2e27c0af
Use a vertical box gadget for the overall expander, and a horizontal one for the title row. This lets us get rid of all the custom allocation code here.