X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdwidthAdjuster.java;h=2602268293653ada1fcb054871cc27ee4e61ea2b;hb=d7e95f458ebcbbdcc13f8b07357542ab2d7e4547;hp=87a2a0e4e8eaa72ecfc17a8107bff97e0fc3feed;hpb=47168f025aefdaa044802bd5f8f510ffe43a4808;p=jalview.git diff --git a/src/jalview/appletgui/IdwidthAdjuster.java b/src/jalview/appletgui/IdwidthAdjuster.java index 87a2a0e..2602268 100755 --- a/src/jalview/appletgui/IdwidthAdjuster.java +++ b/src/jalview/appletgui/IdwidthAdjuster.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) - * Copyright (C) 2014 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * @@ -20,91 +20,105 @@ */ package jalview.appletgui; -import java.awt.*; -import java.awt.event.*; +import java.awt.Color; +import java.awt.Cursor; +import java.awt.Dimension; +import java.awt.Panel; +import java.awt.event.MouseEvent; +import java.awt.event.MouseListener; +import java.awt.event.MouseMotionListener; -public class IdwidthAdjuster extends Panel implements MouseListener, - MouseMotionListener +public class IdwidthAdjuster extends Panel + implements MouseListener, MouseMotionListener { boolean active = false; int oldX = 0; - Image image; - AlignmentPanel ap; public IdwidthAdjuster(AlignmentPanel ap) { setLayout(null); this.ap = ap; - java.net.URL url = getClass().getResource("/images/idwidth.gif"); - if (url != null) - { - image = java.awt.Toolkit.getDefaultToolkit().getImage(url); - } - + setBackground(Color.WHITE); addMouseListener(this); addMouseMotionListener(this); } + @Override public void mousePressed(MouseEvent evt) { oldX = evt.getX(); } + @Override public void mouseReleased(MouseEvent evt) { active = false; repaint(); + + /* + * If in a SplitFrame with co-scaled alignments, set the other's id width to + * match; note applet does not (yet) store this in ViewStyle + */ + /* + * Code disabled for now as it doesn't work, don't know why; idCanvas width + * keeps resetting to a previous value (actually two alternating values!) + */ + // final AlignViewportI viewport = ap.getAlignViewport(); + // if (viewport.getCodingComplement() != null + // && viewport.isScaleProteinAsCdna()) + // { + // Dimension d = ap.idPanel.idCanvas.getSize(); + // SplitFrame sf = ap.alignFrame.getSplitFrame(); + // final AlignmentPanel otherPanel = + // sf.getComplement(ap.alignFrame).alignPanel; + // otherPanel.setIdWidth(d.width, d.height); + // otherPanel.repaint(); + // } } + @Override public void mouseEntered(MouseEvent evt) { active = true; + setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR)); + repaint(); } + @Override public void mouseExited(MouseEvent evt) { active = false; + setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR)); repaint(); } + @Override public void mouseDragged(MouseEvent evt) { active = true; Dimension d = ap.idPanel.idCanvas.getSize(); int dif = evt.getX() - oldX; - if (d.width + dif > 20 || dif > 0) + final int newWidth = d.width + dif; + if (newWidth > 20 || dif > 0) { - ap.setIdWidth(d.width + dif, d.height); - this.setSize(d.width + dif, getSize().height); + ap.setIdWidth(newWidth, d.height); + this.setSize(newWidth, getSize().height); oldX = evt.getX(); } - } + @Override public void mouseMoved(MouseEvent evt) { } + @Override public void mouseClicked(MouseEvent evt) { } - - public void paint(Graphics g) - { - g.setColor(Color.white); - g.fillRect(0, 0, getSize().width, getSize().height); - if (active) - { - if (image != null) - { - g.drawImage(image, getSize().width - 20, 2, this); - } - } - } - }