public void actionPerformed(ActionEvent e)\r
{\r
av.hideColumns(res, res);\r
+ if (av.getSelectionGroup() != null\r
+ &&\r
+ av.getSelectionGroup().getSize(false) == av.alignment.getHeight())\r
+ av.setSelectionGroup(null);\r
+\r
ap.repaint();\r
if (ap.overviewPanel != null)\r
ap.overviewPanel.updateOverviewImage();\r
public void actionPerformed(ActionEvent e)\r
{\r
av.hideColumns(res, res);\r
+ if(av.getSelectionGroup()!=null\r
+ && av.getSelectionGroup().getSize(false)==av.alignment.getHeight())\r
+ av.setSelectionGroup(null);\r
+\r
ap.repaint();\r
if (ap.overviewPanel != null)\r
ap.overviewPanel.updateOverviewImage();\r