X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FIdwidthAdjuster.java;h=2602268293653ada1fcb054871cc27ee4e61ea2b;hb=e1a435a213f105bac3ea0258c6fe26f11df2a392;hp=e9722fe27e74c5a357fe8009585613e92a8af28f;hpb=673150e058ad2a7649093c0c4afde99e1ac5e6e3;p=jalview.git diff --git a/src/jalview/appletgui/IdwidthAdjuster.java b/src/jalview/appletgui/IdwidthAdjuster.java index e9722fe..2602268 100755 --- a/src/jalview/appletgui/IdwidthAdjuster.java +++ b/src/jalview/appletgui/IdwidthAdjuster.java @@ -20,10 +20,9 @@ */ package jalview.appletgui; +import java.awt.Color; import java.awt.Cursor; import java.awt.Dimension; -import java.awt.Graphics; -import java.awt.Image; import java.awt.Panel; import java.awt.event.MouseEvent; import java.awt.event.MouseListener; @@ -36,20 +35,13 @@ public class IdwidthAdjuster extends Panel 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); - } - + setBackground(Color.WHITE); addMouseListener(this); addMouseMotionListener(this); } @@ -129,19 +121,4 @@ public class IdwidthAdjuster extends Panel 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); - // } - // } - } - }