com.tensegrity.gui.swing.dock.core
Interface DockGUI

All Known Implementing Classes:

DockGUIImpl, DockGUIImpl, DockGUIImpl, DockGUIImpl

public interface DockGUI

Docking framework.

Version:

$Id: DockGUI.java,v 1.1 2005/03/24 17:15:07 sr Exp $

Author:

srutz

Method Summary

void	paintButtonBorders(java.awt.Graphics2D g, int tabplacement, java.awt.Rectangle[] rs, int activeIndex) Paints button borders.
void	paintContentBorder(java.awt.Graphics2D g, int tabplacement, int width, int height, java.awt.Insets insets) Paints the content border.
void	paintHeaderGap(java.awt.Graphics2D g, int tabplacement, int width, int height, java.awt.Insets insets) Paints the header gap.
void	paintHeaderToolbar(java.awt.Graphics2D g, int tabplacement, int width, int height, java.awt.Insets insets) Paints the header toolbar.
void	paintTabButton(java.awt.Graphics2D g, int tabplacement, int width, int height, java.awt.Insets insets, boolean isActive, boolean hasFocus) Paints a tab button.
void	paintTabPaneBorder(java.awt.Graphics2D g, TabPane tabpane, int x, int y, int width, int height, int top, int left, int right, int bottom) Paints the tab border.
void	paintTitleLabel(java.awt.Graphics2D g, int tabplacement, int width, int height, java.awt.Insets insets, boolean isActive, boolean hasFocus) Paint the title label
void	updateUI() Update the UI.

Method Detail

updateUI

public void updateUI()

Update the UI.

paintTitleLabel

public void paintTitleLabel(java.awt.Graphics2D g,
                            int tabplacement,
                            int width,
                            int height,
                            java.awt.Insets insets,
                            boolean isActive,
                            boolean hasFocus)

Paint the title label

Parameters:

g - the graphics to paint into.

tabplacement - the tabplacement.

width - width of the label.

height - hneight of the label.

insets - insets of the label.

isActive - whether label is active.

hasFocus - whether label has focus.

paintTabButton

public void paintTabButton(java.awt.Graphics2D g,
                           int tabplacement,
                           int width,
                           int height,
                           java.awt.Insets insets,
                           boolean isActive,
                           boolean hasFocus)

Paints a tab button.

Parameters:

g - the graphics to paint into.

tabplacement - the tabplacement.

width - the width of the button.

height - the height of the button.

insets - the insets of the button.

isActive - whether the button is active.

hasFocus - whether the button has focus.

paintButtonBorders

public void paintButtonBorders(java.awt.Graphics2D g,
                               int tabplacement,
                               java.awt.Rectangle[] rs,
                               int activeIndex)

Paints button borders.

Parameters:

g - the graphics to paint into.

tabplacement - the tabplacement.

rs - the boundaries.

activeIndex - index of active item.

paintHeaderGap

public void paintHeaderGap(java.awt.Graphics2D g,
                           int tabplacement,
                           int width,
                           int height,
                           java.awt.Insets insets)

Paints the header gap.

Parameters:

g - the graphics to paint into.

tabplacement - the tabplacement.

width - the width of the gap.

height - the height of the gap.

insets - the insets of the gap.

paintHeaderToolbar

public void paintHeaderToolbar(java.awt.Graphics2D g,
                               int tabplacement,
                               int width,
                               int height,
                               java.awt.Insets insets)

Paints the header toolbar.

Parameters:

g - the graphics to paint into.

tabplacement - the tabplacement.

width - the width of the toolbar.

height - the height of the toolbar.

insets - the insets of the toolbar.

paintContentBorder

public void paintContentBorder(java.awt.Graphics2D g,
                               int tabplacement,
                               int width,
                               int height,
                               java.awt.Insets insets)

Paints the content border.

Parameters:

g - the graphics to paint into.

tabplacement - the tabplacement.

width - the width of the content border.

height - the height of the content border.

insets - the insets of the content border.

paintTabPaneBorder

public void paintTabPaneBorder(java.awt.Graphics2D g,
                               TabPane tabpane,
                               int x,
                               int y,
                               int width,
                               int height,
                               int top,
                               int left,
                               int right,
                               int bottom)

Paints the tab border.

Parameters:

g - the graphics to paint into.

tabpane - the tabpane.

x - the x coordinate.

y - the y coordinate.

width - the width.

height - the height.

top - the top inset.

left - the left inset.

right - the right inset.

bottom - the bottom inset.