To stop the widget that contains pipeline properties from constant
resizing and taking space away from other widgets, its contents were put
in a scroll area that only resizes horizontally, and scrolls vertically.