Show reveal all menu
authoramwaterhouse <Andrew Waterhouse>
Fri, 28 Jul 2006 16:06:51 +0000 (16:06 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 28 Jul 2006 16:06:51 +0000 (16:06 +0000)
src/jalview/gui/ScalePanel.java

index 54924d0..262d1e1 100755 (executable)
@@ -90,7 +90,7 @@ public class ScalePanel extends JPanel implements MouseMotionListener, MouseList
             });\r
             pop.add(item);\r
 \r
-            if(av.getColumnSelection().size()>1)\r
+            if(av.getColumnSelection().getHiddenColumns().size()>1)\r
             {\r
               item = new JMenuItem("Reveal All");\r
               item.addActionListener(new ActionListener()\r