X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FPopupMenu.java;h=abe9835d3911bc5b89bc82b33191f77108e220c1;hb=c6018dc0dc12720e13b75850a5303279ac7094b7;hp=fc3c3422b64824409ac184c63655c6505362fef6;hpb=b59e6ecc36fb98f4285213a685d0546e98ebd556;p=jalview.git diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java index fc3c342..abe9835 100644 --- a/src/jalview/gui/PopupMenu.java +++ b/src/jalview/gui/PopupMenu.java @@ -840,6 +840,13 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener } start = beginRange[0]; end = endRange[endRange.length - 1]; + int[] localRange = mf.getMappedPositions(start, end); + if (localRange == null) + { + return; + } + start = localRange[0]; + end = localRange[localRange.length - 1]; } StringBuilder desc = new StringBuilder(); desc.append(sf.getType()).append(" ").append(String.valueOf(start));