code-dot-org/dashboard — pull request #980 by Bjvanminnen (2014-07-09 16:41:46+00:00)
Title: functions for karel

Karel block editing needs toolbox to be in category mode so that we can do things like have a custom function as start blocks.