X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=3d82256c9917b3c742879bf3a29ea6eb997163a6;hb=e6139c0f78da30cdf0dabb986706f3a2110c02fc;hp=71e2040f05f7c7fbfa8ad62b690f2e493052bc19;hpb=be7d3d5e0d85c7c8dcfdf35a6240da9c438ef9bb;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 71e2040..3d82256 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -29,6 +29,8 @@ import java.awt.event.MouseMotionListener; import javax.swing.JPanel; +import jalview.api.AlignViewportI; + /** * DOCUMENT ME! * @@ -88,6 +90,20 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, { active = false; repaint(); + + /* + * If in a SplitFrame with co-scaled alignments, set the other's id width to + * match + */ + final AlignViewportI viewport = ap.getAlignViewport(); + if (viewport.getCodingComplement() != null + && viewport.isScaleProteinAsCdna()) + { + viewport.getCodingComplement().setIdWidth(viewport.getIdWidth()); + SplitFrame sf = (SplitFrame) ap.alignFrame.getSplitViewContainer(); + sf.repaint(); + } + } /** @@ -124,12 +140,14 @@ public class IdwidthAdjuster extends JPanel implements MouseListener, { active = true; - int curwidth = ap.getAlignViewport().getIdWidth(); + final AlignViewportI viewport = ap.getAlignViewport(); + int curwidth = viewport.getIdWidth(); int dif = evt.getX() - oldX; - if (((curwidth + dif) > 20) || (dif > 0)) + final int newWidth = curwidth + dif; + if ((newWidth > 20) || (dif > 0)) { - ap.getAlignViewport().setIdWidth(curwidth + dif); + viewport.setIdWidth(newWidth); ap.paintAlignment(true); }