code-dot-org/blockly — pull request #747 by wjordan (2014-07-16 00:09:34+00:00)
Title: add minWorkspaceHeight option to Blockly base

see https://github.com/code-dot-org/dashboard/pull/1009