diff options
| -rw-r--r-- | blocks.js | 1 | ||||
| -rw-r--r-- | threads.js | 3 |
2 files changed, 4 insertions, 0 deletions
@@ -848,6 +848,7 @@ SyntaxElementMorph.prototype.labelPart = function (spec) { null, // text false, // numeric? { + 'character' : ['character'], 'whitespace' : ['whitespace'], 'line' : ['line'], 'tab' : ['tab'], @@ -2148,6 +2148,9 @@ Process.prototype.reportTextSplit = function (string, delimiter) { break; case 'whitespace': return new List(str.trim().split(/[\t\r\n ]+/)); + case 'character': + del = ''; + break; default: del = (delimiter || '').toString(); } |
