added CSV export of annotation rows to application.
[jalview.git] / src / jalview / gui / ScalePanel.java
index ebf25bf..3e91f21 100755 (executable)
@@ -88,7 +88,7 @@ public class ScalePanel
           {\r
             av.showColumn(reveal[0]);\r
             reveal = null;\r
-            ap.repaint();\r
+            ap.paintAlignment(true);\r
             if (ap.overviewPanel != null)\r
             {\r
               ap.overviewPanel.updateOverviewImage();\r
@@ -106,7 +106,7 @@ public class ScalePanel
             {\r
               av.showAllHiddenColumns();\r
               reveal = null;\r
-              ap.repaint();\r
+              ap.paintAlignment(true);\r
               if (ap.overviewPanel != null)\r
               {\r
                 ap.overviewPanel.updateOverviewImage();\r
@@ -131,7 +131,7 @@ public class ScalePanel
               av.setSelectionGroup(null);\r
             }\r
 \r
-            ap.repaint();\r
+            ap.paintAlignment(true);\r
             if (ap.overviewPanel != null)\r
             {\r
               ap.overviewPanel.updateOverviewImage();\r
@@ -174,7 +174,7 @@ public class ScalePanel
 \r
     }\r
 \r
-    ap.repaint();\r
+    ap.paintAlignment(false);\r
   }\r
 \r
   /**\r
@@ -200,7 +200,7 @@ public class ScalePanel
 \r
     if (!stretchingGroup)\r
     {\r
-      ap.repaint();\r
+      ap.paintAlignment(false);\r
 \r
       return;\r
     }\r
@@ -219,7 +219,7 @@ public class ScalePanel
       }\r
     }\r
     stretchingGroup = false;\r
-    ap.repaint();\r
+    ap.paintAlignment(false);\r
   }\r
 \r
   /**\r
@@ -277,19 +277,22 @@ public class ScalePanel
         sg.setStartRes(res);\r
       }\r
 \r
+      int col;\r
       for (int i = min; i <= max; i++)\r
       {\r
-        if ( (i < sg.getStartRes()) || (i > sg.getEndRes()))\r
+        col = av.getColumnSelection().adjustForHiddenColumns(i);\r
+\r
+        if ( (col < sg.getStartRes()) || (col > sg.getEndRes()))\r
         {\r
-          av.getColumnSelection().removeElement(i);\r
+          av.getColumnSelection().removeElement(col);\r
         }\r
         else\r
         {\r
-          av.getColumnSelection().addElement(i);\r
+          av.getColumnSelection().addElement(col);\r
         }\r
       }\r
 \r
-      ap.repaint();\r
+      ap.paintAlignment(false);\r
     }\r
   }\r
 \r