bin/jalview/appletgui/IdwidthAdjuster.js

   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 () {
   4 this.active = false;
   5 this.oldX = 0;
   6 this.image = null;
   7 this.ap = null;
   8 Clazz.instantialize (this, arguments);
   9 }, jalview.appletgui, "IdwidthAdjuster", awt2swing.Panel, [java.awt.event.MouseListener, java.awt.event.MouseMotionListener]);
  10 Clazz.makeConstructor (c$,
  11 function (ap) {
  12 Clazz.superConstructor (this, jalview.appletgui.IdwidthAdjuster, []);
  13 this.setName ("IdwidthAdjuster");
  14 this.setLayout (null);
  15 this.ap = ap;
  16 var url = this.getClass ().getResource ("/images/idwidth.gif");
  17 if (url != null) {
  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",
  23 function (evt) {
  24 this.oldX = evt.getX ();
  25 }, "java.awt.event.MouseEvent");
  26 Clazz.overrideMethod (c$, "mouseReleased",
  27 function (evt) {
  28 this.active = false;
  29 this.repaint ();
  30 }, "java.awt.event.MouseEvent");
  31 Clazz.overrideMethod (c$, "mouseEntered",
  32 function (evt) {
  33 this.active = true;
  34 this.repaint ();
  35 }, "java.awt.event.MouseEvent");
  36 Clazz.overrideMethod (c$, "mouseExited",
  37 function (evt) {
  38 this.active = false;
  39 this.repaint ();
  40 }, "java.awt.event.MouseEvent");
  41 Clazz.overrideMethod (c$, "mouseDragged",
  42 function (evt) {
  43 this.active = true;
  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",
  53 function (evt) {
  54 }, "java.awt.event.MouseEvent");
  55 Clazz.overrideMethod (c$, "mouseClicked",
  56 function (evt) {
  57 }, "java.awt.event.MouseEvent");
  58 Clazz.defineMethod (c$, "PaintComponent",
  59 function (g) {
  60 g.setColor (java.awt.Color.white);
  61 g.fillRect (0, 0, this.getSize ().width, this.getSize ().height);
  62 if (this.active) {
  63 if (this.image != null) {
  64 g.drawImage (this.image, this.getSize ().width - 20, 2, this);
  65 }}}, "java.awt.Graphics");
  66 });