code-dot-org/blockly-core — pull request #91 by bcjordan (2014-05-27 21:34:16+00:00)
Title: Add scrollbar thickness parameter

Waiting on further design discussion to integrate