X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdwidthAdjuster.java;h=e9722fe27e74c5a357fe8009585613e92a8af28f;hb=71b0134718413dd9179768fa51e26170684c2f2c;hp=978668d6bf4865dbc61c8ad58abb6a2ddef0f6f4;hpb=c19d2a91ca05e052e3408bf5852d88eb5d0608f1;p=jalview.git diff --git a/src/jalview/appletgui/IdwidthAdjuster.java b/src/jalview/appletgui/IdwidthAdjuster.java index 978668d..e9722fe 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.9.0b2) - * Copyright (C) 2015 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,7 +20,7 @@ */ package jalview.appletgui; -import java.awt.Color; +import java.awt.Cursor; import java.awt.Dimension; import java.awt.Graphics; import java.awt.Image; @@ -29,8 +29,8 @@ 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; @@ -54,11 +54,13 @@ public class IdwidthAdjuster extends Panel implements MouseListener, addMouseMotionListener(this); } + @Override public void mousePressed(MouseEvent evt) { oldX = evt.getX(); } + @Override public void mouseReleased(MouseEvent evt) { active = false; @@ -85,18 +87,24 @@ public class IdwidthAdjuster extends Panel implements MouseListener, // } } + @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; @@ -112,25 +120,28 @@ public class IdwidthAdjuster extends Panel implements MouseListener, } } + @Override public void mouseMoved(MouseEvent evt) { } + @Override public void mouseClicked(MouseEvent evt) { } + @Override 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); - } - } + // 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); + // } + // } } }