From 8dde1684f146457b9b6dd054f2e1a99a3d59cce7 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Thu, 1 Aug 2013 11:49:35 +0200
Subject: "whitespace" & other options in SPLIT reporter's dropdown

still hidden in dev mode
---
 blocks.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'blocks.js')

diff --git a/blocks.js b/blocks.js
index d58474e..74c3574 100644
--- a/blocks.js
+++ b/blocks.js
@@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.blocks = '2013-July-31';
+modules.blocks = '2013-August-01';
 
 var SyntaxElementMorph;
 var BlockMorph;
@@ -798,7 +798,10 @@ SyntaxElementMorph.prototype.labelPart = function (spec) {
                 null, // text
                 false, // numeric?
                 {
-                    '--line--' : ['--line--']
+                    'whitespace' : ['whitespace'],
+                    'line' : ['line'],
+                    'tab' : ['tab'],
+                    'cr' : ['cr']
                 },
                 false // read-only
             );
-- 
cgit v1.3.1