--- a/src/js/widgets/tooltipWidget.js	Mon Dec 19 12:30:36 2011 +0100
+++ b/src/js/widgets/tooltipWidget.js	Mon Dec 19 12:30:45 2011 +0100
@@ -36,7 +36,6 @@
 };
 
 IriSP.TooltipWidget.prototype.hide = function() {                                                   
-  console.log("hide");  
   this.selector.find(".tip").hide();
   this._shown = false;  
 };