Merge branch 'JAL-3048dialogRunner2' into Jalview-BH/JAL-3026-JAL-3063-JAXB
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 18 Dec 2018 17:58:39 +0000 (17:58 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Tue, 18 Dec 2018 17:58:39 +0000 (17:58 +0000)
src/jalview/gui/FeatureSettings.java

index 23bdecb..27676d5 100644 (file)
@@ -341,7 +341,7 @@ public class FeatureSettings extends JPanel
             data[i + direction] = temp;
           }
           updateFeatureRenderer(data);
-          repaintTable();
+          table.repaint();
           selectedRow = newRow;
         }
       }
@@ -974,7 +974,7 @@ public class FeatureSettings extends JPanel
                 .getData();
         ensureOrder(data);
         updateFeatureRenderer(data, false);
-        repaintTable();
+        table.repaint();
       }
     } catch (Exception ex)
     {
@@ -1088,7 +1088,7 @@ public class FeatureSettings extends JPanel
       data[i][SHOW_COLUMN] = !(Boolean) data[i][SHOW_COLUMN];
     }
     updateFeatureRenderer(data, true);
-    repaintTable();
+    table.repaint();
   }
 
   public void orderByAvWidth()
@@ -1154,29 +1154,6 @@ public class FeatureSettings extends JPanel
     table.repaint();
   }
 
-  /**
-   * Repaints the table using alternative code for Java and J2S
-   */
-  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();
-       }
-  }
-
   public void close()
   {
     try