JAL-3032 revert table repaint customisations

diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java
index 33ab037..ea0d914 100644 (file)
--- a/src/jalview/gui/FeatureSettings.java
+++ b/src/jalview/gui/FeatureSettings.java
@@ -342,7 +342,7 @@ public class FeatureSettings extends JPanel
             data[i + direction] = temp;
           }
           updateFeatureRenderer(data);
-          repaintTable();
+          table.repaint();
           selectedRow = newRow;
         }
       }
@@ -973,7 +973,7 @@ public class FeatureSettings extends JPanel
                 .getData();
         ensureOrder(data);
         updateFeatureRenderer(data, false);
-        repaintTable();
+        table.repaint();
       }
     } catch (Exception ex)
     {
@@ -1087,7 +1087,7 @@ public class FeatureSettings extends JPanel
       data[i][SHOW_COLUMN] = !(Boolean) data[i][SHOW_COLUMN];
     }
     updateFeatureRenderer(data, true);
-    repaintTable();
+    table.repaint();
   }
 
   public void orderByAvWidth()
@@ -1153,29 +1153,6 @@ public class FeatureSettings extends JPanel
     table.repaint();
   }
 
-  /**
-   * Repaints the table using alternative code for Java and J2S
-   */
-  private void 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()
   {
     try