fix namespace collision; work on #1

berkeleybop · Mar 17, 2016 · 557b77f · 557b77f
1 parent 6196a8d
commit 557b77f
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/lib/display.js b/lib/display.js
@@ -333,26 +333,25 @@ var filter_table = function(elt_id, table_id, img_src, repaint_func, label){
     jQuery('#' + elt_id).append(cont.to_string());
 
     // Also, attach a spinner.
-    var spinner = null;
+    var spin = null;
     if( anchor.img_src ){
 	jQuery('#' + elt_id).append('&nbsp;&nbsp;');
-	spinner = new spinner(elt_id, anchor.img_src,
-			      {
-				  visible_p: false
-			      });
+	spin = new spinner(elt_id, anchor.img_src, {
+	    visible_p: false
+	});
     }
 
     ll('widget addition done');
 
     // Make the clear button active.
     jQuery('#' + clear_button.get_id()).click(function(){
 	ll('click call');
-	if( spinner ){ spinner.show(); }
+	if( spin ){ spin.show(); }
         jQuery('#' + input.get_id()).val('');
 	trs.show();
 	// Recolor after filtering.
 	anchor.repaint_func(table_id);
-	if( spinner ){ spinner.hide(); }
+	if( spin ){ spin.hide(); }
     });
 
     // Cache information about the table.
@@ -362,7 +361,7 @@ var filter_table = function(elt_id, table_id, img_src, repaint_func, label){
     // Make the table filter active.
     jQuery('#' + input.get_id()).keyup(function(){
 
-	if( spinner ){ spinner.show(); }
+	if( spin ){ spin.show(); }
 
         var stext = jQuery(this).val();
 
@@ -397,7 +396,7 @@ var filter_table = function(elt_id, table_id, img_src, repaint_func, label){
 	// Recolor after filtering.
 	anchor.repaint_func(table_id);
 
-	if( spinner ){ spinner.hide(); }
+	if( spin ){ spin.hide(); }
     });
 };