ch.uzh.ifi.attempto.preditor
Class WordEditorWindow

java.lang.Object
  nextapp.echo.app.Component
      nextapp.echo.app.WindowPane
          ch.uzh.ifi.attempto.preditor.WordEditorWindow

All Implemented Interfaces:

java.io.Serializable, java.util.EventListener, nextapp.echo.app.FloatingPane, nextapp.echo.app.ModalSupport, nextapp.echo.app.Pane, nextapp.echo.app.PaneContainer, nextapp.echo.app.RenderIdSupport, nextapp.echo.extras.app.event.TabSelectionListener

public class WordEditorWindow
extends nextapp.echo.app.WindowPane
implements nextapp.echo.extras.app.event.TabSelectionListener

This class represents a word editor that can be used to create or modify words. It can contain several tabs for several types of words.

Author:

Tobias Kuhn

See Also:

Serialized Form

Field Summary

Fields inherited from class nextapp.echo.app.WindowPane

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE, INPUT_CLOSE, INPUT_MAXIMIZE, INPUT_MINIMIZE, PROPERTY_BACKGROUND_IMAGE, PROPERTY_BORDER, PROPERTY_CLOSABLE, PROPERTY_CLOSE_ICON, PROPERTY_CLOSE_ICON_INSETS, PROPERTY_CLOSE_ROLLOVER_ICON, PROPERTY_CONTENT_HEIGHT, PROPERTY_CONTENT_WIDTH, PROPERTY_CONTROLS_INSETS, PROPERTY_CONTROLS_SPACING, PROPERTY_DEFAULT_CLOSE_OPERATION, PROPERTY_HEIGHT, PROPERTY_ICON, PROPERTY_ICON_INSETS, PROPERTY_INSETS, PROPERTY_MAXIMIZE_ENABLED, PROPERTY_MAXIMIZE_ICON, PROPERTY_MAXIMIZE_ICON_INSETS, PROPERTY_MAXIMIZE_ROLLOVER_ICON, PROPERTY_MAXIMUM_HEIGHT, PROPERTY_MAXIMUM_WIDTH, PROPERTY_MINIMIZE_ENABLED, PROPERTY_MINIMIZE_ICON, PROPERTY_MINIMIZE_ICON_INSETS, PROPERTY_MINIMIZE_ROLLOVER_ICON, PROPERTY_MINIMUM_HEIGHT, PROPERTY_MINIMUM_WIDTH, PROPERTY_MOVABLE, PROPERTY_POSITION_X, PROPERTY_POSITION_Y, PROPERTY_RESIZABLE, PROPERTY_TITLE, PROPERTY_TITLE_BACKGROUND, PROPERTY_TITLE_BACKGROUND_IMAGE, PROPERTY_TITLE_FONT, PROPERTY_TITLE_FOREGROUND, PROPERTY_TITLE_HEIGHT, PROPERTY_TITLE_INSETS, PROPERTY_WIDTH, PROPERTY_Z_INDEX

Fields inherited from class nextapp.echo.app.Component

CHILD_VISIBLE_CHANGED_PROPERTY, CHILDREN_CHANGED_PROPERTY, ENABLED_CHANGED_PROPERTY, FOCUS_NEXT_ID_CHANGED_PROPERTY, FOCUS_PREVIOUS_ID_CHANGED_PROPERTY, LAYOUT_DIRECTION_CHANGED_PROPERTY, LOCALE_CHANGED_PROPERTY, PROPERTY_BACKGROUND, PROPERTY_FONT, PROPERTY_FOREGROUND, PROPERTY_LAYOUT_DATA, STYLE_CHANGED_PROPERTY, STYLE_NAME_CHANGED_PROPERTY, VISIBLE_CHANGED_PROPERTY

Fields inherited from interface nextapp.echo.app.ModalSupport

MODAL_CHANGED_PROPERTY

Constructor Summary

WordEditorWindow(java.lang.String title)
Creates a new word editor window.

WordEditorWindow(java.lang.String title, int width, int height)
Creates a new word editor window.

WordEditorWindow(java.lang.String title, java.lang.String type)
Creates a new word editor window.

WordEditorWindow(java.lang.String title, java.lang.String type, int width, int height)
Creates a new word editor window.

Method Summary

void	addTab(WordEditorForm form) Adds a new tab containing the given word editor form.
WordEditorForm	getCurrentTab() Returns the form of the currently selected tab.
java.lang.String	getType() Returns the type of the word editor window or null if no type has been assigned.
void	tabSelected(nextapp.echo.extras.app.event.TabSelectionEvent e)

Methods inherited from class nextapp.echo.app.WindowPane

addWindowPaneListener, fireWindowClosing, fireWindowMaximized, fireWindowMinimized, getBackgroundImage, getBorder, getCloseIcon, getCloseIconInsets, getCloseRolloverIcon, getContentHeight, getContentWidth, getControlsInsets, getControlsSpacing, getDefaultCloseOperation, getHeight, getIcon, getIconInsets, getInsets, getMaximizeIcon, getMaximizeIconInsets, getMaximizeRolloverIcon, getMaximumHeight, getMaximumWidth, getMinimizeIcon, getMinimizeIconInsets, getMinimizeRolloverIcon, getMinimumHeight, getMinimumWidth, getPositionX, getPositionY, getTitle, getTitleBackground, getTitleBackgroundImage, getTitleFont, getTitleForeground, getTitleHeight, getTitleInsets, getWidth, getZIndex, isClosable, isMaximizeEnabled, isMinimizeEnabled, isModal, isMovable, isResizable, isValidChild, isValidParent, processInput, removeWindowPaneListener, setBackgroundImage, setBorder, setClosable, setCloseIcon, setCloseIconInsets, setCloseRolloverIcon, setContentHeight, setContentWidth, setControlsInsets, setControlsSpacing, setDefaultCloseOperation, setHeight, setIcon, setIconInsets, setInsets, setMaximizeEnabled, setMaximizeIcon, setMaximizeIconInsets, setMaximizeRolloverIcon, setMaximumHeight, setMaximumWidth, setMinimizeEnabled, setMinimizeIcon, setMinimizeIconInsets, setMinimizeRolloverIcon, setMinimumHeight, setMinimumWidth, setModal, setMovable, setPositionX, setPositionY, setResizable, setTitle, setTitleBackground, setTitleBackgroundImage, setTitleFont, setTitleForeground, setTitleHeight, setTitleInsets, setWidth, setZIndex, userClose, userMaximize, userMinimize

Methods inherited from class nextapp.echo.app.Component

add, add, addPropertyChangeListener, addPropertyChangeListener, dispose, firePropertyChange, get, getApplicationInstance, getBackground, getComponent, getComponent, getComponentCount, getComponents, getEventListenerList, getFocusNextId, getFocusPreviousId, getFont, getForeground, getId, getIndex, getLayoutData, getLayoutDirection, getLocale, getLocalStyle, getParent, getRenderId, getRenderIndexedProperty, getRenderIndexedProperty, getRenderLocale, getRenderProperty, getRenderProperty, getStyle, getStyleName, getVisibleComponent, getVisibleComponentCount, getVisibleComponents, hasEventListenerList, indexOf, init, isAncestorOf, isEnabled, isFocusTraversalParticipant, isRegistered, isRenderEnabled, isRenderVisible, isVisible, remove, remove, removeAll, removePropertyChangeListener, removePropertyChangeListener, set, setBackground, setComponents, setEnabled, setFocusNextId, setFocusPreviousId, setFocusTraversalParticipant, setFont, setForeground, setId, setIndex, setLayoutData, setLayoutDirection, setLocale, setRenderId, setStyle, setStyleName, setVisible, validate, verifyInput, visibleIndexOf

Methods inherited from class java.lang.Object

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

Constructor Detail

WordEditorWindow

public WordEditorWindow(java.lang.String title,
                        java.lang.String type,
                        int width,
                        int height)

Creates a new word editor window.

The type argument is for custom use and can be used to describe the type of word to be created. It can be retrieved later by the getType-method. Otherwise, the type argument has no effect and the value of the type argument is not shown in the GUI.

Parameters:

title - The title of the window.

type - The type.

width - The width of the window (minimum is 400).

height - The height of the window (minimum is 250).

WordEditorWindow

public WordEditorWindow(java.lang.String title,
                        int width,
                        int height)

Creates a new word editor window.

Parameters:

title - The title of the window.

width - The width of the window (minimum is 400).

height - The height of the window (minimum is 250).

WordEditorWindow

public WordEditorWindow(java.lang.String title,
                        java.lang.String type)

Creates a new word editor window.

Parameters:

title - The title of the window.

type - The type.

WordEditorWindow

public WordEditorWindow(java.lang.String title)

Creates a new word editor window.

Parameters:

title - The title of the window.

Method Detail

getType

public java.lang.String getType()

Returns the type of the word editor window or null if no type has been assigned.

Returns:

The type.

addTab

public void addTab(WordEditorForm form)

Adds a new tab containing the given word editor form.

Parameters:

form - The form to be shown in a new tab.

getCurrentTab

public WordEditorForm getCurrentTab()

Returns the form of the currently selected tab.

Returns:

The current tab.

tabSelected

public void tabSelected(nextapp.echo.extras.app.event.TabSelectionEvent e)

Specified by:

tabSelected in interface nextapp.echo.extras.app.event.TabSelectionListener