From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Tue, 18 Dec 2018 14:32:23 +0000 (-0600)
Subject: removing special needs for JavaScript table repainting
X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~68^2~345
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=39b37500f9301122111be3239572f925ca18018e

removing special needs for JavaScript table repainting
---

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index 9a0114a..33ab037 100644
--- a/src/jalview/gui/FeatureSettings.java
+++ b/src/jalview/gui/FeatureSettings.java
@@ -1158,22 +1158,22 @@ public class FeatureSettings extends JPanel
    */
   private void repaintTable() 
   {
-	  if (true)
-		  return;
-	// BH 2018
-	// Here is a needed intervention
-	// because generally we don't "repaint"
-	// the table. We re-create the HTML divs
-	// that is associated with it. A better
-	// way to do this would be to fire a property change.
-	@SuppressWarnings("unused")
-	TableUI ui = table.getUI();
-	/**
-	 * @j2sNative ui.repaintTable$();
-	 */
-	{
 	  table.repaint();
-	}
+//	  if (true)
+//		  return;
+//	// BH 2018
+//	// Here is a needed intervention
+//	// because generally we don't "repaint"
+//	// the table. We re-create the HTML divs
+//	// that is associated with it. A better
+//	// way to do this would be to fire a property change.
+//	@SuppressWarnings("unused")
+//	TableUI ui = table.getUI();
+//	/**
+//	 * @j2sNative ui.repaintTable$();
+//	 */
+//	{
+//	}
   }
 
   public void close()