org.jboss.errai.workspaces.client.widgets
Class WSTabPanel

java.lang.Object
  com.google.gwt.user.client.ui.UIObject
      com.google.gwt.user.client.ui.Widget
          com.google.gwt.user.client.ui.Composite
              org.jboss.errai.workspaces.client.widgets.WSTabPanel

All Implemented Interfaces:

com.google.gwt.event.logical.shared.HasAttachHandlers, com.google.gwt.event.shared.HasHandlers, com.google.gwt.user.client.EventListener, com.google.gwt.user.client.ui.IsWidget

public class WSTabPanel
extends com.google.gwt.user.client.ui.Composite

Nested Class Summary

Nested classes/interfaces inherited from class com.google.gwt.user.client.ui.UIObject

com.google.gwt.user.client.ui.UIObject.DebugIdImpl, com.google.gwt.user.client.ui.UIObject.DebugIdImplEnabled

Field Summary

Fields inherited from class com.google.gwt.user.client.ui.UIObject

DEBUG_ID_PREFIX

Constructor Summary

WSTabPanel()

Method Summary

void	add(com.google.gwt.user.client.ui.Widget panel, WSTab tab)
void	addSelectionHandler(com.google.gwt.event.logical.shared.SelectionHandler<Integer> handler)
void	clear()
int	getActiveTab()
com.google.gwt.user.client.ui.DeckPanel	getDeckPanel()
com.google.gwt.user.client.ui.Widget	getWidget(int idx)
int	getWidgetCount()
int	getWidgetIndex(com.google.gwt.user.client.ui.Widget panel)
void	insert(com.google.gwt.user.client.ui.Widget panel, com.google.gwt.user.client.ui.Widget tab, int beforeIndex)
protected void	onAttach()
void	pack()
void	remove(int idx)
void	remove(com.google.gwt.user.client.ui.Widget tab)
void	selectTab(int idx)
void	setPixelSize(int width, int height)

Methods inherited from class com.google.gwt.user.client.ui.Composite

getWidget, initWidget, isAttached, onBrowserEvent, onDetach, setWidget

Methods inherited from class com.google.gwt.user.client.ui.Widget

addAttachHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isOrWasAttached, onLoad, onUnload, removeFromParent, setLayoutData, sinkEvents

Methods inherited from class com.google.gwt.user.client.ui.UIObject

addStyleDependentName, addStyleName, ensureDebugId, ensureDebugId, ensureDebugId, getAbsoluteLeft, getAbsoluteTop, getElement, getOffsetHeight, getOffsetWidth, getStyleElement, getStyleName, getStyleName, getStylePrimaryName, getStylePrimaryName, getTitle, isVisible, isVisible, onEnsureDebugId, removeStyleDependentName, removeStyleName, setElement, setElement, setHeight, setSize, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, setWidth, toString, unsinkEvents

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

WSTabPanel

public WSTabPanel()

Method Detail

addSelectionHandler

public void addSelectionHandler(com.google.gwt.event.logical.shared.SelectionHandler<Integer> handler)

add

public void add(com.google.gwt.user.client.ui.Widget panel,
                WSTab tab)

remove

public void remove(com.google.gwt.user.client.ui.Widget tab)

remove

public void remove(int idx)

getWidgetIndex

public int getWidgetIndex(com.google.gwt.user.client.ui.Widget panel)

getWidgetCount

public int getWidgetCount()

getWidget

public com.google.gwt.user.client.ui.Widget getWidget(int idx)

selectTab

public void selectTab(int idx)

getActiveTab

public int getActiveTab()

insert

public void insert(com.google.gwt.user.client.ui.Widget panel,
                   com.google.gwt.user.client.ui.Widget tab,
                   int beforeIndex)

getDeckPanel

public com.google.gwt.user.client.ui.DeckPanel getDeckPanel()

pack

public void pack()

setPixelSize

public void setPixelSize(int width,
                         int height)

Overrides:

setPixelSize in class com.google.gwt.user.client.ui.UIObject

onAttach

protected void onAttach()

Overrides:

onAttach in class com.google.gwt.user.client.ui.Composite

clear

public void clear()