Index: trunk/webapps/einotebook/scripts/Evaluation.js
===================================================================
--- trunk/webapps/einotebook/scripts/Evaluation.js	(revision 633)
+++ trunk/webapps/einotebook/scripts/Evaluation.js	(revision 637)
@@ -101,4 +101,6 @@
         + this.text + "'\n"
         postMessage(logString)
+        // Change the text color as feedback to user
+        // events.doc.getElementById(this.textID).style.color = "lightgrey"; 
     }