home *** CD-ROM | disk | FTP | other *** search
/ PC Plus SuperCD (UK) 2000 March / pcp161a.iso / handson / files / copyjava.exe / com / sun / java / swing / plaf / basic / BasicDesktopPaneUI.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-02-26  |  2.2 KB  |  78 lines
  1. package com.sun.java.swing.plaf.basic;
  2.  
  3. import com.sun.java.swing.DefaultDesktopManager;
  4. import com.sun.java.swing.DesktopManager;
  5. import com.sun.java.swing.JComponent;
  6. import com.sun.java.swing.JDesktopPane;
  7. import com.sun.java.swing.UIManager;
  8. import com.sun.java.swing.plaf.ComponentUI;
  9. import com.sun.java.swing.plaf.DesktopPaneUI;
  10. import com.sun.java.swing.plaf.UIResource;
  11. import java.awt.Component;
  12. import java.awt.Dimension;
  13. import java.awt.Graphics;
  14. import java.io.Serializable;
  15.  
  16. public class BasicDesktopPaneUI extends DesktopPaneUI implements Serializable {
  17.    private static Dimension minSize = new Dimension(0, 0);
  18.    private static Dimension maxSize = new Dimension(Integer.MAX_VALUE, Integer.MAX_VALUE);
  19.    protected JDesktopPane desktop;
  20.    protected DesktopManager desktopManager;
  21.  
  22.    public static ComponentUI createUI(JComponent var0) {
  23.       return new BasicDesktopPaneUI();
  24.    }
  25.  
  26.    public void installUI(JComponent var1) {
  27.       this.desktop = (JDesktopPane)var1;
  28.       this.installDefaults(var1);
  29.       this.installDesktopManager();
  30.    }
  31.  
  32.    public void uninstallUI(JComponent var1) {
  33.       this.uninstallDefaults(var1);
  34.       this.uninstallDesktopManager();
  35.    }
  36.  
  37.    protected void installDefaults(JComponent var1) {
  38.       if (((Component)var1).getBackground() == null || ((Component)var1).getBackground() instanceof UIResource) {
  39.          ((Component)var1).setBackground(UIManager.getColor("Desktop.background"));
  40.       }
  41.  
  42.    }
  43.  
  44.    protected void uninstallDefaults(JComponent var1) {
  45.    }
  46.  
  47.    protected void installDesktopManager() {
  48.       if (this.desktop.getDesktopManager() == null) {
  49.          this.desktopManager = new DefaultDesktopManager();
  50.          this.desktop.setDesktopManager(this.desktopManager);
  51.       }
  52.  
  53.    }
  54.  
  55.    protected void uninstallDesktopManager() {
  56.       if (this.desktop.getDesktopManager() == this.desktopManager) {
  57.          this.desktop.setDesktopManager((DesktopManager)null);
  58.       }
  59.  
  60.       this.desktop = null;
  61.    }
  62.  
  63.    public void paint(Graphics var1, JComponent var2) {
  64.    }
  65.  
  66.    public Dimension getPreferredSize(JComponent var1) {
  67.       return null;
  68.    }
  69.  
  70.    public Dimension getMinimumSize(JComponent var1) {
  71.       return minSize;
  72.    }
  73.  
  74.    public Dimension getMaximumSize(JComponent var1) {
  75.       return maxSize;
  76.    }
  77. }
  78.