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