From d5b157fc64cc6e5f633a2f7ae991a29b7c557b94 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 9 Aug 2006 15:56:32 +0000 Subject: [PATCH 1/1] Check if groups have already been added or not --- src/jalview/gui/FeatureSettings.java | 25 ++++++++++++++++++------- 1 file changed, 18 insertions(+), 7 deletions(-) diff --git a/src/jalview/gui/FeatureSettings.java b/src/jalview/gui/FeatureSettings.java index b83a004..314c357 100755 --- a/src/jalview/gui/FeatureSettings.java +++ b/src/jalview/gui/FeatureSettings.java @@ -74,7 +74,6 @@ public class FeatureSettings extends JPanel if (af.getViewport().featuresDisplayed == null || fr.renderOrder==null) fr.findAllFeatures(); - setTableData(); frame = new JInternalFrame(); @@ -83,7 +82,7 @@ public class FeatureSettings extends JPanel frame.setLayer(JLayeredPane.PALETTE_LAYER); } - public void setTableData() + synchronized public void setTableData() { alignmentHasFeatures = false; @@ -125,14 +124,28 @@ public class FeatureSettings extends JPanel { visible = ( (Boolean) fr.featureGroups.get(group)).booleanValue(); } - else - { - fr.featureGroups.put(group, new Boolean(visible)); + if (groupPanel == null) { groupPanel = new JPanel(); } + boolean alreadyAdded = false; + for(int g=0; g