X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdwidthAdjuster.java;h=78943b8eb2a06421dda22b9e09200470f4794ac7;hb=e894eb87d40be6e8452d19032ddffe80dad5f804;hp=5b4de850e82d697880b2f87ca18730b9a1766918;hpb=0f71bfca98457c30f1051f142c31b6aaa3e23ead;p=jalview.git diff --git a/src/jalview/appletgui/IdwidthAdjuster.java b/src/jalview/appletgui/IdwidthAdjuster.java index 5b4de85..78943b8 100755 --- a/src/jalview/appletgui/IdwidthAdjuster.java +++ b/src/jalview/appletgui/IdwidthAdjuster.java @@ -1,104 +1,104 @@ -/* - * Jalview - A Sequence Alignment Editor and Viewer - * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle - * - * This program 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 2 - * of the License, or (at your option) any later version. - * - * This program 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 this program; if not, write to the Free Software - * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA - */ - -package jalview.appletgui; - -import java.awt.*; -import java.awt.event.*; - -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); - } - - addMouseListener(this); - addMouseMotionListener(this); - } - - public void mousePressed(MouseEvent evt) - { - oldX = evt.getX(); - } - - public void mouseReleased(MouseEvent evt) - { - active = false; - 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; - - if (d.width + dif > 20 || dif > 0) - { - ap.setIdWidth(d.width + dif, d.height); - this.setSize(d.width + dif, 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); - } - } - } - -} +/* + * Jalview - A Sequence Alignment Editor and Viewer + * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle + * + * This program 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 2 + * of the License, or (at your option) any later version. + * + * This program 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 this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA + */ + +package jalview.appletgui; + +import java.awt.*; +import java.awt.event.*; + +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); + } + + addMouseListener(this); + addMouseMotionListener(this); + } + + public void mousePressed(MouseEvent evt) + { + oldX = evt.getX(); + } + + public void mouseReleased(MouseEvent evt) + { + active = false; + 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; + + if (d.width + dif > 20 || dif > 0) + { + ap.setIdWidth(d.width + dif, d.height); + this.setSize(d.width + dif, 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); + } + } + } + +}