validate groupPanel
authoramwaterhouse <Andrew Waterhouse>
Mon, 21 Aug 2006 14:39:50 +0000 (14:39 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 21 Aug 2006 14:39:50 +0000 (14:39 +0000)
src/jalview/gui/FeatureSettings.java

index 687c18b..0398c71 100755 (executable)
@@ -217,6 +217,8 @@ public class FeatureSettings extends JPanel
   }\r
 \r
      resetTable(false);\r
+     if (groupPanel != null)\r
+       groupPanel.validate();\r
   }\r
 \r
 \r