rename "character" to "letter" in delimiter list

of “split” block

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'],

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!

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: