X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=0cffc3b350c85cadbc20e01197b7bdea8ff4b153;hb=c9150af4f9655e743ec53ec60ac5553f95e17636;hp=8400543ac1467cac3d0d3692cf95fb0b09a10a81;hpb=a57976ba40e1abe6d7c1940386e1a25419ef9c9d;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 8400543..0cffc3b 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -23,8 +23,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; @@ -44,8 +44,6 @@ public class IdwidthAdjuster extends JPanel int oldX = 0; - Image image; - AlignmentPanel ap; /** @@ -57,14 +55,7 @@ public class IdwidthAdjuster extends JPanel public IdwidthAdjuster(AlignmentPanel ap) { this.ap = ap; - - java.net.URL url = getClass().getResource("/images/idwidth.gif"); - - if (url != null) - { - image = java.awt.Toolkit.getDefaultToolkit().createImage(url); - } - + setBackground(Color.white); addMouseListener(this); addMouseMotionListener(this); } @@ -196,10 +187,7 @@ public class IdwidthAdjuster extends JPanel if (active) { - if (image != null) - { - g.drawImage(image, getWidth() - 20, 2, this); - } + setCursor(Cursor.getPredefinedCursor(Cursor.W_RESIZE_CURSOR)); } } }