--- a/src/js/widgets/traceWidget.js	Fri Mar 30 18:00:26 2012 +0200
+++ b/src/js/widgets/traceWidget.js	Tue Apr 03 20:30:12 2012 +0200
@@ -127,6 +127,7 @@
     }
     this.lastEvent = _traceName;
     this.tracer.trace(_traceName, _arg);
-    console.log("trace('" + _traceName + "', " + JSON.stringify(_arg) + ");");
-    
+    if (this._config.js_console) {
+        console.log("tracer.trace('" + _traceName + "', " + JSON.stringify(_arg) + ");");
+    }
 }