tip.append("</html>");
setToolTipText("<html>" + sequence.getDisplayId(true)
- + tip.toString());
+ + " "+tip.toString());
}
}
jalview.gui.PopupMenu pop = new jalview.gui.PopupMenu(alignPanel,
sq,
- nlinks);
+ nlinks, new Vector(Preferences.getGroupURLLinks()));
pop.show(this, e.getX(), e.getY());
return;
{
selectSeq(seq);
}
- av.sendSelection();
alignPanel.paintAlignment(true);
}
{
scrollThread.running = false;
}
- if (mouseDragging)
+// if (mouseDragging)
{
-
+ // always send selection message when mouse is released
av.sendSelection();
}