From 6b93103a0df4c035f11271b4fabf38022f8e306e Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 20 Nov 2014 10:59:29 +0000
Subject: [PATCH] Use that.info() rather then console.log() directly.

---
 src/mkws-widget-builder.js |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mkws-widget-builder.js b/src/mkws-widget-builder.js
index 110f24a..2ee3496 100644
--- a/src/mkws-widget-builder.js
+++ b/src/mkws-widget-builder.js
@@ -24,6 +24,6 @@ mkws.registerWidgetType('builder', function() {
 mkws.registerWidgetType('console-builder', function() {
   mkws.promotionFunction('builder').call(this);
   this.callback = function(s) {
-    console.log("generated widget: " + s);
+    that.info("generated widget: " + s);
   }
 });
-- 
1.7.10.4