X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPopupMenu.java;h=abe9835d3911bc5b89bc82b33191f77108e220c1;hp=fc3c3422b64824409ac184c63655c6505362fef6;hb=c6018dc0dc12720e13b75850a5303279ac7094b7;hpb=c17981672620e0b780a2338bd0c74e55cf9ddec2 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));