org.jboss.errai.workspaces.client.layout
Class WorkPanel

java.lang.Object
  com.google.gwt.user.client.ui.UIObject
      com.google.gwt.user.client.ui.Widget
          com.google.gwt.user.client.ui.Panel
              org.jboss.errai.workspaces.client.layout.WorkPanel

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.HasWidgets, com.google.gwt.user.client.ui.HasWidgets.ForIsWidget, com.google.gwt.user.client.ui.IsWidget, Iterable<com.google.gwt.user.client.ui.Widget>

public class WorkPanel
extends com.google.gwt.user.client.ui.Panel

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

Nested classes/interfaces inherited from interface com.google.gwt.user.client.ui.HasWidgets

com.google.gwt.user.client.ui.HasWidgets.ForIsWidget

Field Summary

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

DEBUG_ID_PREFIX

Constructor Summary

WorkPanel()

Method Summary

void	add(com.google.gwt.user.client.ui.Widget w)
void	addToTitlebar(com.google.gwt.user.client.ui.Widget w)
int	getOffsetHeight()
int	getOffsetWidth()
int	getPanelHeight()
int	getPanelWidth()
Iterator<com.google.gwt.user.client.ui.Widget>	iterator()
boolean	remove(com.google.gwt.user.client.ui.Widget child)
void	setPixelSize(int width, int height)
void	setTitle(String s)

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

add, adopt, adopt, clear, disown, doAttachChildren, doDetachChildren, orphan, remove

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

addAttachHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, fireEvent, getHandlerCount, getLayoutData, getParent, isAttached, isOrWasAttached, onAttach, onBrowserEvent, onDetach, onLoad, onUnload, removeFromParent, setLayoutData, sinkEvents

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

WorkPanel

public WorkPanel()

Method Detail

setPixelSize

public void setPixelSize(int width,
                         int height)

Overrides:

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

add

public void add(com.google.gwt.user.client.ui.Widget w)

Specified by:

add in interface com.google.gwt.user.client.ui.HasWidgets

Overrides:

add in class com.google.gwt.user.client.ui.Panel

iterator

public Iterator<com.google.gwt.user.client.ui.Widget> iterator()

remove

public boolean remove(com.google.gwt.user.client.ui.Widget child)

Specified by:

remove in interface com.google.gwt.user.client.ui.HasWidgets

Specified by:

remove in class com.google.gwt.user.client.ui.Panel

addToTitlebar

public void addToTitlebar(com.google.gwt.user.client.ui.Widget w)

getPanelWidth

public int getPanelWidth()

getPanelHeight

public int getPanelHeight()

getOffsetWidth

public int getOffsetWidth()

Overrides:

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

getOffsetHeight

public int getOffsetHeight()

Overrides:

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

setTitle

public void setTitle(String s)

Overrides:

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