From f09a7177199788e83194fc261eb7a5584d03371b Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Fri, 18 Jul 2014 15:36:56 +0200
Subject: rename "character" to "letter" in delimiter list
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

of “split” block
---
 blocks.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'blocks.js')

diff --git a/blocks.js b/blocks.js
index 998a4da..279acb7 100644
--- a/blocks.js
+++ b/blocks.js
@@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph, Costume*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2014-July-17';
+modules.blocks = '2014-July-18';
 
 
 var SyntaxElementMorph;
@@ -848,7 +848,7 @@ SyntaxElementMorph.prototype.labelPart = function (spec) {
                 null, // text
                 false, // numeric?
                 {
-                    'character' : ['character'],
+                    'letter' : ['letter'],
                     'whitespace' : ['whitespace'],
                     'line' : ['line'],
                     'tab' : ['tab'],
-- 
cgit v1.3.1