X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;fp=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=c6d5d2a1e56282bc2e9cf9e97e250416bb48f5d4;hb=9e372eb592af4849237e3387a7f6becb33034c1b;hp=99792c6a2167b19677813a9d13d1d640f4e502c9;hpb=96cbee9ec8762f6e3b13bc657c1dfeb90dcf5d1a;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 99792c6..c6d5d2a 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -22,10 +22,8 @@ package jalview.gui; import jalview.api.AlignViewportI; -import java.awt.Color; import java.awt.Cursor; import java.awt.Graphics; -import java.awt.Image; import java.awt.event.MouseEvent; import java.awt.event.MouseListener; import java.awt.event.MouseMotionListener; @@ -45,8 +43,6 @@ public class IdwidthAdjuster extends JPanel int oldX = 0; - Image image; - AlignmentPanel ap; /** @@ -59,13 +55,6 @@ public class IdwidthAdjuster extends JPanel { this.ap = ap; - java.net.URL url = getClass().getResource("/images/idwidth.gif"); - - if (url != null) - { - image = java.awt.Toolkit.getDefaultToolkit().createImage(url); - } - addMouseListener(this); addMouseMotionListener(this); } @@ -192,20 +181,9 @@ public class IdwidthAdjuster extends JPanel @Override public void paintComponent(Graphics g) { - g.setColor(Color.white); - g.fillRect(0, 0, getWidth(), getHeight()); - if (active) { - if (image != null) - { - // g.drawImage(image, getWidth() - 20, 2, this); setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR)); - } - else - { - setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR)); - } } } }