diff options
Diffstat (limited to 'blocks.js')
| -rw-r--r-- | blocks.js | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.blocks = '2013-July-30'; +modules.blocks = '2013-July-31'; var SyntaxElementMorph; var BlockMorph; @@ -793,6 +793,16 @@ SyntaxElementMorph.prototype.labelPart = function (spec) { true // read-only ); break; + case '%delim': + part = new InputSlotMorph( + null, // text + false, // numeric? + { + '--line--' : ['--line--'] + }, + false // read-only + ); + break; case '%ida': part = new InputSlotMorph( null, |
