From: jprocter Date: Wed, 12 Jan 2011 18:41:02 +0000 (+0000) Subject: 1.1 compat X-Git-Tag: Release_2_7~307 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=79c8ec26a6dd87b23e94abd7cf9c5de8c139e721;p=jalview.git 1.1 compat --- diff --git a/src/jalview/appletgui/PaintRefresher.java b/src/jalview/appletgui/PaintRefresher.java index f08bd66..889a7db 100755 --- a/src/jalview/appletgui/PaintRefresher.java +++ b/src/jalview/appletgui/PaintRefresher.java @@ -239,7 +239,9 @@ public class PaintRefresher } } AlignmentPanel[] result = new AlignmentPanel[tmp.size()]; - tmp.toArray(result); + for (int ix=0;ix0) { - Object mol = mouseoverListeners.remove(0); -// mouseoverListeners.elementAt(0); + Object mol = mouseoverListeners.elementAt(0); + mouseoverListeners.removeElement(mol); if (mol instanceof SelectionListener) { StructureSelectionManager.getStructureSelectionManager().removeSelectionListener((SelectionListener)mol);