From 94faa2bc90f0b7ab579986fc8d13f434996f7d6e Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 12 Dec 2012 17:44:57 +0100
Subject: [PATCH] remove debug code

---
 static/js/plugin.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/static/js/plugin.js b/static/js/plugin.js
index 4d8346db..015f001a 100644
--- a/static/js/plugin.js
+++ b/static/js/plugin.js
@@ -9,19 +9,15 @@
 
 $(document).ready(function() {
     $('.plugin-hide').each(function() {
-	window.console.log ('@load: id='+$(this).attr('id'));
 	$(this).click(function () { 
 	    var plugin='#'+$(this).attr('id').replace('hide-','plugin-'); 
 	    var show='#'+$(this).attr('id').replace('hide-','show-'); 
-	    window.console.log ("Hiding:"+$(this).attr('id')+' plugin='+plugin+' show='+show);
 	    jQuery(plugin).hide(); jQuery(show).show(); $(this).hide();});
 	})
     $('.plugin-show').each(function() {
-	window.console.log ('@load: id='+$(this).attr('id'));
 	$(this).click(function () { 
 	    var plugin='#'+$(this).attr('id').replace('show-','plugin-'); 
 	    var hide='#'+$(this).attr('id').replace('show-','hide-'); 
-	    window.console.log ("Showing:"+$(this).attr('id')+' plugin='+plugin+' hide='+hide);
 	    jQuery(plugin).show(); jQuery(hide).show(); $(this).hide();});
 	})
     })
-- 
2.43.0