From 8bb69866b907de270c5c16206a4a02c62ecef6c0 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 28 Jul 2006 16:06:51 +0000
Subject: [PATCH] Show reveal all menu

---
 src/jalview/gui/ScalePanel.java |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jalview/gui/ScalePanel.java b/src/jalview/gui/ScalePanel.java
index 54924d0..262d1e1 100755
--- a/src/jalview/gui/ScalePanel.java
+++ b/src/jalview/gui/ScalePanel.java
@@ -90,7 +90,7 @@ public class ScalePanel extends JPanel implements MouseMotionListener, MouseList
             });
             pop.add(item);
 
-            if(av.getColumnSelection().size()>1)
+            if(av.getColumnSelection().getHiddenColumns().size()>1)
             {
               item = new JMenuItem("Reveal All");
               item.addActionListener(new ActionListener()
-- 
1.7.10.2