Dave Conway-Jones 6e1a2c436b
let labels expand if really necessary, and pin min-width
(should we add max width also ?)
2018-02-02 22:54:51 +00:00
..
2017-06-14 22:29:38 +01:00
2018-01-14 21:05:22 +00:00
2015-10-02 21:27:30 +01:00