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 ++--
 history.txt | 1 +
 threads.js  | 4 ++--
 3 files changed, 5 insertions(+), 4 deletions(-)

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'],
diff --git a/history.txt b/history.txt
index 29e3586..5ffbf4b 100755
--- a/history.txt
+++ b/history.txt
@@ -2209,3 +2209,4 @@ ______
 ------
 * Lists: incorporate Brian’s adhoc fixes, thanks, Brian!
 * GUI: Use new mechanism for unique costume names on the paint editor, renamed costumes and costumes dragged and dropped onto sprite icons
+* add “letter” option to the split block’s list of delimiters, Thanks, Michael!
diff --git a/threads.js b/threads.js
index 24d4196..469fb7f 100644
--- a/threads.js
+++ b/threads.js
@@ -83,7 +83,7 @@ ArgLabelMorph, localize, XML_Element, hex_sha512*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.threads = '2014-July-11';
+modules.threads = '2014-July-18';
 
 var ThreadManager;
 var Process;
@@ -2148,7 +2148,7 @@ Process.prototype.reportTextSplit = function (string, delimiter) {
         break;
     case 'whitespace':
         return new List(str.trim().split(/[\t\r\n ]+/));
-    case 'character':
+    case 'letter':
         del = '';
         break;
     default:
-- 
cgit v1.3.1