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 (file)
--- 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()