{\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
{\r
av.showAllHiddenColumns();\r
reveal = null;\r
- ap.repaint();\r
+ ap.paintAlignment(true);\r
if (ap.overviewPanel != null)\r
{\r
ap.overviewPanel.updateOverviewImage();\r
av.setSelectionGroup(null);\r
}\r
\r
- ap.repaint();\r
+ ap.paintAlignment(true);\r
if (ap.overviewPanel != null)\r
{\r
ap.overviewPanel.updateOverviewImage();\r
\r
}\r
\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
}\r
\r
/**\r
\r
if (!stretchingGroup)\r
{\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
\r
return;\r
}\r
}\r
}\r
stretchingGroup = false;\r
- ap.repaint();\r
+ ap.paintAlignment(false);\r
}\r
\r
/**\r
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