libjava/javax/swing/plaf/basic/BasicTabbedPaneUI.java

   1 package javax.swing.plaf.basic;
   2
   3 import javax.swing.*;
   4 import java.awt.*;
   5 import javax.swing.plaf.*;
   6
   7 public class BasicTabbedPaneUI  extends TabbedPaneUI
   8 {
   9     public static ComponentUI createUI(final JComponent c)
  10     {
  11         return new BasicTabbedPaneUI();
  12     }
  13
  14     public void installUI(final JComponent c)
  15     {
  16         super.installUI(c);
  17     }
  18
  19     public Dimension getPreferredSize(JComponent c)
  20     {
  21         JTabbedPane p = (JTabbedPane) c;
  22
  23         Dimension d = new Dimension(50,50);
  24
  25         for (int i=0;i<p.getTabCount();i++)
  26             {
  27                 Component comp = p.getComponentAt(i);
  28
  29                 Dimension pr = comp.getPreferredSize();
  30
  31                 d.width = Math.max(d.width, comp.getWidth());
  32                 d.height = Math.max(d.height, comp.getHeight());
  33             }
  34
  35         Insets i = p.getInsets();
  36
  37         d.width  += i.left + i.right;
  38         d.height += i.top + i.bottom;
  39
  40         int height_of_tabs = 25;
  41
  42         d.height += height_of_tabs;
  43
  44         // FIXME: should be max of panes in p
  45         return d;
  46     }
  47
  48
  49     public Rectangle getTabBounds(JTabbedPane pane, int index)
  50     {
  51         return null;
  52     }
  53
  54     public int getTabRunCount(JTabbedPane pane)
  55     {
  56         return 0;
  57     }
  58
  59     public int tabForCoordinate(JTabbedPane pane, int x, int y)
  60     {
  61         return 0;
  62     }
  63 }
  64