diff options
Diffstat (limited to 'blocks.js')
| -rw-r--r-- | blocks.js | 19 |
1 files changed, 18 insertions, 1 deletions
@@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.blocks = '2013-July-12'; +modules.blocks = '2013-July-15'; var SyntaxElementMorph; var BlockMorph; @@ -989,6 +989,23 @@ SyntaxElementMorph.prototype.labelPart = function (spec) { ); part.setContents(['sqrt']); break; + case '%txtfun': + part = new InputSlotMorph( + null, + false, + { + 'encode URI' : ['encode URI'], + 'decode URI' : ['decode URI'], + 'encode URI component' : ['encode URI component'], + 'decode URI component' : ['decode URI component'], + 'XML escape' : ['XML escape'], + 'XML unescape' : ['XML unescape'], + 'hex sha512 hash' : ['hex sha512 hash'] + }, + true + ); + part.setContents(['encode URI']); + break; case '%typ': part = new InputSlotMorph( null, |
