home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &… the Search for Life CD 3 / 0_CD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / plaf / basic / BasicSplitPaneDivider$MouseHandler.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  3.1 KB  |  121 lines
  1. package javax.swing.plaf.basic;
  2.  
  3. import java.awt.Component;
  4. import java.awt.Cursor;
  5. import java.awt.Point;
  6. import java.awt.Rectangle;
  7. import java.awt.event.InputEvent;
  8. import java.awt.event.MouseAdapter;
  9. import java.awt.event.MouseEvent;
  10. import java.awt.event.MouseMotionListener;
  11. import java.util.EventObject;
  12.  
  13. public class BasicSplitPaneDivider$MouseHandler extends MouseAdapter implements MouseMotionListener {
  14.    // $FF: synthetic field
  15.    private final BasicSplitPaneDivider this$0;
  16.  
  17.    protected BasicSplitPaneDivider$MouseHandler(BasicSplitPaneDivider var1) {
  18.       this.this$0 = var1;
  19.    }
  20.  
  21.    public void mousePressed(MouseEvent var1) {
  22.       if ((((EventObject)var1).getSource() == this.this$0 || ((EventObject)var1).getSource() == this.this$0.splitPane) && this.this$0.dragger == null && this.this$0.splitPane.isEnabled()) {
  23.          Component var2 = this.this$0.splitPaneUI.getNonContinuousLayoutDivider();
  24.          if (this.this$0.hiddenDivider != var2) {
  25.             if (this.this$0.hiddenDivider != null) {
  26.                this.this$0.hiddenDivider.removeMouseListener(this);
  27.                this.this$0.hiddenDivider.removeMouseMotionListener(this);
  28.             }
  29.  
  30.             this.this$0.hiddenDivider = var2;
  31.             if (this.this$0.hiddenDivider != null) {
  32.                this.this$0.hiddenDivider.addMouseMotionListener(this);
  33.                this.this$0.hiddenDivider.addMouseListener(this);
  34.             }
  35.          }
  36.  
  37.          if (this.this$0.splitPane.getLeftComponent() != null && this.this$0.splitPane.getRightComponent() != null) {
  38.             if (this.this$0.orientation == 1) {
  39.                this.this$0.dragger = new BasicSplitPaneDivider.DragController(this.this$0, var1);
  40.             } else {
  41.                this.this$0.dragger = new BasicSplitPaneDivider.VerticalDragController(this.this$0, var1);
  42.             }
  43.  
  44.             if (!this.this$0.dragger.isValid()) {
  45.                this.this$0.dragger = null;
  46.             } else {
  47.                this.this$0.prepareForDragging();
  48.                this.this$0.dragger.continueDrag(var1);
  49.             }
  50.          }
  51.  
  52.          ((InputEvent)var1).consume();
  53.       }
  54.  
  55.    }
  56.  
  57.    public void mouseReleased(MouseEvent var1) {
  58.       if (this.this$0.dragger != null) {
  59.          if (((EventObject)var1).getSource() == this.this$0.splitPane) {
  60.             this.this$0.dragger.completeDrag(var1.getX(), var1.getY());
  61.          } else if (((EventObject)var1).getSource() == this.this$0) {
  62.             Point var2 = this.this$0.getLocation();
  63.             this.this$0.dragger.completeDrag(var1.getX() + var2.x, var1.getY() + var2.y);
  64.          } else if (((EventObject)var1).getSource() == this.this$0.hiddenDivider) {
  65.             Point var5 = this.this$0.hiddenDivider.getLocation();
  66.             int var3 = var1.getX() + var5.x;
  67.             int var4 = var1.getY() + var5.y;
  68.             this.this$0.dragger.completeDrag(var3, var4);
  69.          }
  70.  
  71.          this.this$0.dragger = null;
  72.          ((InputEvent)var1).consume();
  73.       }
  74.  
  75.    }
  76.  
  77.    public void mouseDragged(MouseEvent var1) {
  78.       if (this.this$0.dragger != null) {
  79.          if (((EventObject)var1).getSource() == this.this$0.splitPane) {
  80.             this.this$0.dragger.continueDrag(var1.getX(), var1.getY());
  81.          } else if (((EventObject)var1).getSource() == this.this$0) {
  82.             Point var2 = this.this$0.getLocation();
  83.             this.this$0.dragger.continueDrag(var1.getX() + var2.x, var1.getY() + var2.y);
  84.          } else if (((EventObject)var1).getSource() == this.this$0.hiddenDivider) {
  85.             Point var5 = this.this$0.hiddenDivider.getLocation();
  86.             int var3 = var1.getX() + var5.x;
  87.             int var4 = var1.getY() + var5.y;
  88.             this.this$0.dragger.continueDrag(var3, var4);
  89.          }
  90.  
  91.          ((InputEvent)var1).consume();
  92.       }
  93.  
  94.    }
  95.  
  96.    public void mouseMoved(MouseEvent var1) {
  97.       if (this.this$0.dragger == null) {
  98.          int var2 = var1.getX();
  99.          int var3 = var1.getY();
  100.          Rectangle var4 = this.this$0.getBounds();
  101.          Cursor var5;
  102.          if (((EventObject)var1).getSource() == this.this$0) {
  103.             if (var2 >= 0 && var2 < var4.width && var3 >= 0 && var3 < var4.height) {
  104.                var5 = this.this$0.orientation == 1 ? BasicSplitPaneDivider.horizontalCursor : BasicSplitPaneDivider.verticalCursor;
  105.             } else {
  106.                var5 = BasicSplitPaneDivider.defaultCursor;
  107.             }
  108.          } else if (var2 >= var4.x && var2 < var4.x + var4.width && var3 >= var4.y && var3 < var4.y + var4.height) {
  109.             var5 = this.this$0.orientation == 1 ? BasicSplitPaneDivider.horizontalCursor : BasicSplitPaneDivider.verticalCursor;
  110.          } else {
  111.             var5 = BasicSplitPaneDivider.defaultCursor;
  112.          }
  113.  
  114.          if (this.this$0.getCursor() != var5) {
  115.             this.this$0.setCursor(var5);
  116.          }
  117.  
  118.       }
  119.    }
  120. }
  121.