widgets.awt
Class TabbedPane

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Panel
                    |
                    +--widgets.awt.TabbedPane

public class TabbedPane
extends java.awt.Panel

Implements a tab panel: a component which lets the user switch between a group of components by clicking on a tab with a given title.

After programmatic changes to the component (i.e. using selectTab()) repaint should be called.

Author:
Erwin Vervaet (erwin@cs.kuleuven.ac.be)
See Also:
Serialized Form

Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Constructor Summary
TabbedPane(int width, int height)
          Create a new tab panel with the given width and height.
 
Method Summary
 void addTab(java.lang.String name, java.awt.Component comp)
          Add a tab with the given name to the end of the tab list.
 int countTabs()
          Return the current number of tabs.
 int getTabIndex(java.lang.String name)
          Return the index of the tab with given name, or -1 if the tab is not present.
 java.lang.String getTabName(int i)
          Return the name of the tab with specified index or null if the index is illegal.
 void paint(java.awt.Graphics g)
           
protected  void processMouseEvent(java.awt.event.MouseEvent e)
           
 void removeTab(java.lang.String name)
          Remove the specified tab.
 void renameTab(java.lang.String oldName, java.lang.String newName)
          Rename the oldName tab to newName.
 void selectTab(int i)
          To select and show the tab with given index.
 void selectTab(java.lang.String name)
          Select and show the tab with given name.
 void setEnabledTab(java.lang.String name, boolean b)
          Enable/disable the specified tab.
 void setFont(java.awt.Font f)
           
 void setSize(java.awt.Dimension d)
           
 void setSize(int width, int height)
           
 
Methods inherited from class java.awt.Panel
addNotify
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setCursor, setLayout, update, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isFocusTraversable, isLightweight, isOpaque, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processInputMethodEvent, processKeyEvent, processMouseMotionEvent, remove, removeComponentListener, removeFocusListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setVisible, show, show, size, toString, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TabbedPane

public TabbedPane(int width,
                  int height)

Create a new tab panel with the given width and height.

Method Detail

setSize

public void setSize(int width,
                    int height)
Overrides:
setSize in class java.awt.Component

setSize

public void setSize(java.awt.Dimension d)
Overrides:
setSize in class java.awt.Component

setFont

public void setFont(java.awt.Font f)
Overrides:
setFont in class java.awt.Container

addTab

public void addTab(java.lang.String name,
                   java.awt.Component comp)

Add a tab with the given name to the end of the tab list.


removeTab

public void removeTab(java.lang.String name)

Remove the specified tab.


setEnabledTab

public void setEnabledTab(java.lang.String name,
                          boolean b)

Enable/disable the specified tab.


renameTab

public void renameTab(java.lang.String oldName,
                      java.lang.String newName)

Rename the oldName tab to newName.


selectTab

public void selectTab(java.lang.String name)

Select and show the tab with given name.


selectTab

public void selectTab(int i)

To select and show the tab with given index.


countTabs

public int countTabs()

Return the current number of tabs.


getTabIndex

public int getTabIndex(java.lang.String name)

Return the index of the tab with given name, or -1 if the tab is not present.


getTabName

public java.lang.String getTabName(int i)

Return the name of the tab with specified index or null if the index is illegal.


paint

public void paint(java.awt.Graphics g)
Overrides:
paint in class java.awt.Container

processMouseEvent

protected void processMouseEvent(java.awt.event.MouseEvent e)
Overrides:
processMouseEvent in class java.awt.Component