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