Merge remote-tracking branch 'origin/bug/JAL-2839findWithHidden' into merge/JAL-2839_2933
[jalview.git] / src / jalview / gui / IdPanel.java
index 113fd9f..d11d7a1 100755 (executable)
@@ -510,7 +510,7 @@ public class IdPanel extends JPanel
   {
     getIdCanvas().setHighlighted(list);
 
-    if (list == null)
+    if (list == null || list.isEmpty())
     {
       return;
     }