X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdwidthAdjuster.java;fp=src%2Fjalview%2Fappletgui%2FIdwidthAdjuster.java;h=e9722fe27e74c5a357fe8009585613e92a8af28f;hp=75e324382fac3aebf373d23787b0aaae1389db00;hb=c1abd9108f6a78bc4e900746ba2a4f3307a218fc;hpb=34fb2aa89a12348af7524403a93e2b528d8a7bb8

diff --git a/src/jalview/appletgui/IdwidthAdjuster.java b/src/jalview/appletgui/IdwidthAdjuster.java
index 75e3243..e9722fe 100755
--- a/src/jalview/appletgui/IdwidthAdjuster.java
+++ b/src/jalview/appletgui/IdwidthAdjuster.java
@@ -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;
@@ -54,11 +54,13 @@ public class IdwidthAdjuster extends Panel
     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
     // }
   }
 
+  @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
     }
   }
 
+  @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);
+    // }
+    // }
   }
 
 }