sebuilder/se-builder — pull request #194 by davidlinse (2014-06-24 10:04:07+00:00)
Title: Make inputs panel scrollable

Allow the _inputs_-panel to scroll.

Closes #190