From 9faa4844d4ab528e5f689afdd042efe07ab81605 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Wed, 4 Dec 2013 09:47:42 +0100
Subject: handle text comparisons case-insensitive (again)

---
 threads.js | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'threads.js')

diff --git a/threads.js b/threads.js
index 78831cf..727aedf 100644
--- a/threads.js
+++ b/threads.js
@@ -83,7 +83,7 @@ ArgLabelMorph, localize, XML_Element, hex_sha512*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.threads = '2013-November-26';
+modules.threads = '2013-December-04';
 
 var ThreadManager;
 var Process;
@@ -104,14 +104,12 @@ function snapEquals(a, b) {
         x = a;
         y = b;
     }
-    /*
-      // handle text comparision text-insensitive.
-      // I think this is a pedagogical feature for novices,
-      // but some teachers disagree. Commented out for now.
+
+    // handle text comparision text-insensitive.
     if (isString(x) && isString(y)) {
         return x.toLowerCase() === y.toLowerCase();
     }
-    */
+
     return x === y;
 }
 
-- 
cgit v1.3.1