Update overview if features updated
[jalview.git] / src / jalview / gui / FeatureSettings.java
index 5325180..bbaaa5a 100755 (executable)
@@ -1,3 +1,21 @@
+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer\r
+ * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ *\r
+ * This program is free software; you can redistribute it and/or\r
+ * modify it under the terms of the GNU General Public License\r
+ * as published by the Free Software Foundation; either version 2\r
+ * of the License, or (at your option) any later version.\r
+ *\r
+ * This program is distributed in the hope that it will be useful,\r
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
+ * GNU General Public License for more details.\r
+ *\r
+ * You should have received a copy of the GNU General Public License\r
+ * along with this program; if not, write to the Free Software\r
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
+ */\r
 package jalview.gui;\r
 \r
 import jalview.datamodel.*;\r
@@ -118,22 +136,23 @@ public class FeatureSettings extends JPanel
     Enumeration e;\r
     SequenceFeature sf;\r
 \r
-    for(int i=0; i< av.alignment.getHeight(); i++)\r
-    {\r
-       features = av.alignment.getSequenceAt(i).getDatasetSequence().getSequenceFeatures();\r
-       if(features==null)\r
-         continue;\r
+  for (int i = 0; i < av.alignment.getHeight(); i++)\r
+  {\r
+    features = av.alignment.getSequenceAt(i).getDatasetSequence().\r
+        getSequenceFeatures();\r
+    if (features == null)\r
+      continue;\r
 \r
-       e = features.elements();\r
-       while(e.hasMoreElements())\r
-       {\r
-         sf = (SequenceFeature)e.nextElement();\r
-         if(!allFeatures.contains(sf.getType()))\r
-         {\r
-           allFeatures.addElement(sf.getType());\r
-         }\r
-       }\r
+    e = features.elements();\r
+    while (e.hasMoreElements())\r
+    {\r
+      sf = (SequenceFeature) e.nextElement();\r
+      if (!allFeatures.contains(sf.getType()))\r
+      {\r
+        allFeatures.addElement(sf.getType());\r
+      }\r
     }\r
+\r
     if(allFeatures.size()<1)\r
      {\r
        try{\r
@@ -315,6 +334,9 @@ public class FeatureSettings extends JPanel
   {\r
     fr.setFeaturePriority( data );\r
     ap.repaint();\r
+\r
+    if(ap.overviewPanel!=null)\r
+      ap.overviewPanel.updateOverviewImage();\r
   }\r
 \r
   int selectedRow =-1;\r