jp9000 290975e3a0 UI: Set a maximum height to properties scroll area
When a source has a lot of properties, the scroll area containing them
would try to expand to fit them all, often leaving the preview area
super squished.  So this just sets a maximum height for the properties
scroll area.
2015-01-05 02:10:34 -08:00
..
2014-08-05 21:15:31 +02:00
2015-01-03 02:37:21 -08:00
2015-01-03 02:37:21 -08:00
2015-01-03 02:37:21 -08:00
2014-01-25 07:23:57 +01:00
2014-07-13 15:23:26 +02:00