Merge branch 'merge/develop_JAL-3725' into develop
[jalview.git] / src / jalview / gui / PopupMenu.java
index d1e8e32..7b284a9 100644 (file)
@@ -842,6 +842,7 @@ public class PopupMenu extends JPopupMenu implements ColourChangeListener
       int[] localRange = mf.getMappedPositions(start, end);
       if (localRange == null)
       {
+        // e.g. variant extending to stop codon so not mappable
         return;
       }
       start = localRange[0];