1 Clazz.declarePackage ("jalview.appletgui");
2 Clazz.load (["awt2swing.Panel", "java.awt.event.MouseListener", "$.MouseMotionListener"], "jalview.appletgui.IdwidthAdjuster", ["java.awt.Color", "$.Toolkit"], function () {
3 c$ = Clazz.decorateAsClass (function () {
8 Clazz.instantialize (this, arguments);
9 }, jalview.appletgui, "IdwidthAdjuster", awt2swing.Panel, [java.awt.event.MouseListener, java.awt.event.MouseMotionListener]);
10 Clazz.makeConstructor (c$,
12 Clazz.superConstructor (this, jalview.appletgui.IdwidthAdjuster, []);
13 this.setName ("IdwidthAdjuster");
14 this.setLayout (null);
16 var url = this.getClass ().getResource ("/images/idwidth.gif");
18 this.image = java.awt.Toolkit.getDefaultToolkit ().getImage (url);
19 }this.addMouseListener (this);
20 this.addMouseMotionListener (this);
21 }, "jalview.appletgui.AlignmentPanel");
22 Clazz.overrideMethod (c$, "mousePressed",
24 this.oldX = evt.getX ();
25 }, "java.awt.event.MouseEvent");
26 Clazz.overrideMethod (c$, "mouseReleased",
30 }, "java.awt.event.MouseEvent");
31 Clazz.overrideMethod (c$, "mouseEntered",
35 }, "java.awt.event.MouseEvent");
36 Clazz.overrideMethod (c$, "mouseExited",
40 }, "java.awt.event.MouseEvent");
41 Clazz.overrideMethod (c$, "mouseDragged",
44 var d = this.ap.idPanel.idCanvas.getSize ();
45 var dif = evt.getX () - this.oldX;
46 var newWidth = d.width + dif;
47 if (newWidth > 20 || dif > 0) {
48 this.ap.setIdWidth (newWidth, d.height);
49 this.setSize (newWidth, this.getSize ().height);
50 this.oldX = evt.getX ();
51 }}, "java.awt.event.MouseEvent");
52 Clazz.overrideMethod (c$, "mouseMoved",
54 }, "java.awt.event.MouseEvent");
55 Clazz.overrideMethod (c$, "mouseClicked",
57 }, "java.awt.event.MouseEvent");
58 Clazz.defineMethod (c$, "PaintComponent",
60 g.setColor (java.awt.Color.white);
61 g.fillRect (0, 0, this.getSize ().width, this.getSize ().height);
63 if (this.image != null) {
64 g.drawImage (this.image, this.getSize ().width - 20, 2, this);
65 }}}, "java.awt.Graphics");