Jaime van Kessel bf57a61c48
Fix settings overlapping after collapse
I can't figure out why we ever set the min size to be negative, but
it was ocasonally making the layout stumble
2019-12-31 11:35:37 +01:00
..
2019-10-29 10:57:15 +01:00