Bastien Bouclet cf1c092617 GUI: Prevent layouts from giving negative dimensions to widgets
When there is not enough room to layout the widgets, dimensions are now
clipped to zero intead of going negative.
2020-01-12 12:29:37 +01:00
..
2016-08-24 16:07:55 +06:00
2020-01-01 00:01:00 +01:00
2019-10-14 00:14:38 +02:00
2019-11-17 22:33:56 +01:00
2020-01-04 10:56:25 +01:00
2019-09-01 22:47:55 +03:00
2019-10-16 19:30:56 +02:00
2019-10-14 00:14:38 +02:00
2020-01-04 10:56:25 +01:00
2019-07-30 14:51:41 -04:00
2020-01-04 10:56:25 +01:00
2018-03-28 12:47:23 +02:00
2020-01-04 10:56:25 +01:00