From bb82c9968358436e350e1ba03700ca4a16663161 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 6 May 2015 15:31:59 +0100 Subject: [PATCH] JAL-1725 broadcast empty selection (to clear selection) --- src/jalview/structure/StructureSelectionManager.java | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/jalview/structure/StructureSelectionManager.java b/src/jalview/structure/StructureSelectionManager.java index 53ed663..156fc35 100644 --- a/src/jalview/structure/StructureSelectionManager.java +++ b/src/jalview/structure/StructureSelectionManager.java @@ -646,14 +646,11 @@ public class StructureSelectionManager } } } - if (!results.isEmpty()) + for (Object li : listeners) { - for (Object li : listeners) + if (li instanceof SequenceListener) { - if (li instanceof SequenceListener) - { - ((SequenceListener) li).highlightSequence(results); - } + ((SequenceListener) li).highlightSequence(results); } } } -- 1.7.10.2