/* * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, either version 3 * of the License, or (at your option) any later version. * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR * PURPOSE. See the GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with Jalview. If not, see . * The Jalview Authors are detailed in the 'AUTHORS' file. */ package jalview.appletgui; import java.awt.Color; import java.awt.Dimension; import java.awt.Graphics; import java.awt.Image; import java.awt.event.MouseEvent; import java.awt.event.MouseListener; import java.awt.event.MouseMotionListener; import javax.swing.JPanel; public class IdwidthAdjuster extends JPanel 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); } addMouseListener(this); addMouseMotionListener(this); } public void mousePressed(MouseEvent evt) { oldX = evt.getX(); } 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(); // } } public void mouseEntered(MouseEvent evt) { active = true; repaint(); } public void mouseExited(MouseEvent evt) { active = false; repaint(); } public void mouseDragged(MouseEvent evt) { active = true; Dimension d = ap.idPanel.idCanvas.getSize(); int dif = evt.getX() - oldX; final int newWidth = d.width + dif; if (newWidth > 20 || dif > 0) { ap.setIdWidth(newWidth, d.height); this.setSize(newWidth, getSize().height); oldX = evt.getX(); } } public void mouseMoved(MouseEvent evt) { } 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); } } } }