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$VerticalDragController.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  1.9 KB  |  66 lines
  1. package javax.swing.plaf.basic;
  2.  
  3. import java.awt.Component;
  4. import java.awt.Insets;
  5. import java.awt.event.MouseEvent;
  6. import java.util.EventObject;
  7. import javax.swing.JComponent;
  8. import javax.swing.JSplitPane;
  9.  
  10. public class BasicSplitPaneDivider$VerticalDragController extends BasicSplitPaneDivider.DragController {
  11.    // $FF: synthetic field
  12.    private final BasicSplitPaneDivider this$0;
  13.  
  14.    protected BasicSplitPaneDivider$VerticalDragController(BasicSplitPaneDivider var1, MouseEvent var2) {
  15.       super(var1, var2);
  16.       this.this$0 = var1;
  17.       JSplitPane var3 = var1.splitPaneUI.getSplitPane();
  18.       Component var4 = var3.getLeftComponent();
  19.       Component var5 = var3.getRightComponent();
  20.       super.initialX = ((Component)var1).getLocation().y;
  21.       if (((EventObject)var2).getSource() == var1) {
  22.          super.offset = var2.getY();
  23.       } else {
  24.          super.offset = var2.getY() - super.initialX;
  25.       }
  26.  
  27.       if (var4 != null && var5 != null && super.offset >= -1 && super.offset <= ((Component)var1).getSize().height) {
  28.          Insets var6 = ((JComponent)var3).getInsets();
  29.          if (var4.isVisible()) {
  30.             super.minX = var4.getMinimumSize().height;
  31.             if (var6 != null) {
  32.                super.minX += var6.top;
  33.             }
  34.          } else {
  35.             super.minX = 0;
  36.          }
  37.  
  38.          if (var5.isVisible()) {
  39.             int var7 = var6 != null ? var6.bottom : 0;
  40.             super.maxX = Math.max(0, ((Component)var3).getSize().height - (((Component)var1).getSize().height + var7) - var5.getMinimumSize().height);
  41.          } else {
  42.             int var8 = var6 != null ? var6.bottom : 0;
  43.             super.maxX = Math.max(0, ((Component)var3).getSize().height - (((Component)var1).getSize().height + var8));
  44.          }
  45.  
  46.          if (super.maxX < super.minX) {
  47.             super.minX = super.maxX = 0;
  48.          }
  49.       } else {
  50.          super.maxX = -1;
  51.       }
  52.  
  53.    }
  54.  
  55.    protected int getNeededLocation(int var1, int var2) {
  56.       int var3 = Math.min(super.maxX, Math.max(super.minX, var2 - super.offset));
  57.       return var3;
  58.    }
  59.  
  60.    protected int positionForMouseEvent(MouseEvent var1) {
  61.       int var2 = ((EventObject)var1).getSource() == this.this$0 ? var1.getY() + this.this$0.getLocation().y : var1.getY();
  62.       var2 = Math.min(super.maxX, Math.max(super.minX, var2 - super.offset));
  63.       return var2;
  64.    }
  65. }
  66.