home *** CD-ROM | disk | FTP | other *** search
/ S283 Planetary Science &n…he Search for Life DVD 2 / DVD-ROM.iso / install / jre1_3 / lib / rt.jar / javax / swing / JDesktopPane.class (.txt) < prev    next >
Encoding:
Java Class File  |  1979-12-31  |  3.4 KB  |  135 lines
  1. package javax.swing;
  2.  
  3. import java.awt.Component;
  4. import java.awt.Container;
  5. import java.io.IOException;
  6. import java.io.ObjectOutputStream;
  7. import java.util.Vector;
  8. import javax.accessibility.Accessible;
  9. import javax.accessibility.AccessibleContext;
  10. import javax.swing.plaf.DesktopPaneUI;
  11.  
  12. public class JDesktopPane extends JLayeredPane implements Accessible {
  13.    private static final String uiClassID = "DesktopPaneUI";
  14.    transient DesktopManager desktopManager;
  15.    private transient JInternalFrame selectedFrame = null;
  16.    public static int LIVE_DRAG_MODE = 0;
  17.    public static int OUTLINE_DRAG_MODE = 1;
  18.    private int dragMode;
  19.  
  20.    public JDesktopPane() {
  21.       this.dragMode = LIVE_DRAG_MODE;
  22.       this.updateUI();
  23.    }
  24.  
  25.    public DesktopPaneUI getUI() {
  26.       return (DesktopPaneUI)super.ui;
  27.    }
  28.  
  29.    public void setUI(DesktopPaneUI var1) {
  30.       super.setUI(var1);
  31.    }
  32.  
  33.    public void setDragMode(int var1) {
  34.       ((JComponent)this).firePropertyChange("dragMode", this.dragMode, var1);
  35.       this.dragMode = var1;
  36.    }
  37.  
  38.    public int getDragMode() {
  39.       return this.dragMode;
  40.    }
  41.  
  42.    public DesktopManager getDesktopManager() {
  43.       return this.desktopManager;
  44.    }
  45.  
  46.    public void setDesktopManager(DesktopManager var1) {
  47.       this.desktopManager = var1;
  48.    }
  49.  
  50.    public void updateUI() {
  51.       this.setUI((DesktopPaneUI)UIManager.getUI(this));
  52.    }
  53.  
  54.    public String getUIClassID() {
  55.       return "DesktopPaneUI";
  56.    }
  57.  
  58.    public JInternalFrame[] getAllFrames() {
  59.       Vector var4 = new Vector(10);
  60.       int var2 = ((Container)this).getComponentCount();
  61.  
  62.       for(int var1 = 0; var1 < var2; ++var1) {
  63.          Component var5 = ((Container)this).getComponent(var1);
  64.          if (var5 instanceof JInternalFrame) {
  65.             var4.addElement(var5);
  66.          } else if (var5 instanceof JInternalFrame.JDesktopIcon) {
  67.             JInternalFrame var6 = ((JInternalFrame.JDesktopIcon)var5).getInternalFrame();
  68.             if (var6 != null) {
  69.                var4.addElement(var6);
  70.             }
  71.          }
  72.       }
  73.  
  74.       JInternalFrame[] var3 = new JInternalFrame[var4.size()];
  75.       var4.copyInto(var3);
  76.       return var3;
  77.    }
  78.  
  79.    public JInternalFrame getSelectedFrame() {
  80.       return this.selectedFrame;
  81.    }
  82.  
  83.    public void setSelectedFrame(JInternalFrame var1) {
  84.       this.selectedFrame = var1;
  85.    }
  86.  
  87.    public JInternalFrame[] getAllFramesInLayer(int var1) {
  88.       Vector var5 = new Vector(10);
  89.       int var3 = ((Container)this).getComponentCount();
  90.  
  91.       for(int var2 = 0; var2 < var3; ++var2) {
  92.          Component var6 = ((Container)this).getComponent(var2);
  93.          if (var6 instanceof JInternalFrame) {
  94.             if (((JInternalFrame)var6).getLayer() == var1) {
  95.                var5.addElement(var6);
  96.             }
  97.          } else if (var6 instanceof JInternalFrame.JDesktopIcon) {
  98.             JInternalFrame var7 = ((JInternalFrame.JDesktopIcon)var6).getInternalFrame();
  99.             if (var7 != null && ((JInternalFrame)var7).getLayer() == var1) {
  100.                var5.addElement(var7);
  101.             }
  102.          }
  103.       }
  104.  
  105.       JInternalFrame[] var4 = new JInternalFrame[var5.size()];
  106.       var5.copyInto(var4);
  107.       return var4;
  108.    }
  109.  
  110.    public boolean isOpaque() {
  111.       return true;
  112.    }
  113.  
  114.    private void writeObject(ObjectOutputStream var1) throws IOException {
  115.       var1.defaultWriteObject();
  116.       if (super.ui != null && this.getUIClassID().equals("DesktopPaneUI")) {
  117.          super.ui.installUI(this);
  118.       }
  119.  
  120.    }
  121.  
  122.    protected String paramString() {
  123.       String var1 = this.desktopManager != null ? this.desktopManager.toString() : "";
  124.       return super.paramString() + ",desktopManager=" + var1;
  125.    }
  126.  
  127.    public AccessibleContext getAccessibleContext() {
  128.       if (super.accessibleContext == null) {
  129.          super.accessibleContext = new AccessibleJDesktopPane(this);
  130.       }
  131.  
  132.       return super.accessibleContext;
  133.    }
  134. }
  135.