fr.ove.openmath.mathematica
Class Desktop

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JLayeredPane
                  javax.swing.JDesktopPane
                      fr.ove.openmath.mathematica.Desktop

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

public class Desktop

extends javax.swing.JDesktopPane

An extension of a JDesktopPane which handles the position of the new inner frames created, names them automatically, etc.

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class javax.swing.JDesktopPane

javax.swing.JDesktopPane.AccessibleJDesktopPane

Nested classes inherited from class javax.swing.JLayeredPane

javax.swing.JLayeredPane.AccessibleJLayeredPane

Nested classes inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields inherited from class javax.swing.JDesktopPane

LIVE_DRAG_MODE, OUTLINE_DRAG_MODE

Fields inherited from class javax.swing.JLayeredPane

DEFAULT_LAYER, DRAG_LAYER, FRAME_CONTENT_LAYER, LAYER_PROPERTY, MODAL_LAYER, PALETTE_LAYER, POPUP_LAYER

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Desktop()
The Constructor.

Method Summary

javax.swing.JInternalFrame	addNewInternalFrame(java.awt.Container contentPane) Adds a new inner frame with the specified content pane.
void	addNewPaletteContentPane(java.lang.String paletteIdentifier, java.awt.Container contentPane) Adds a new palette to the desktop.
void	cascade() Cascades the frame in the desktop.
void	closeAll() Closes all the frames in the desktop.
javax.swing.JInternalFrame	getActiveInternalFrame() Gets the active inner frame in the desktop.
javax.swing.JInternalFrame	getActivePalette() Gets the active palette in the desktop.
javax.swing.JInternalFrame	getInternalFrame(java.lang.String name) Gets the inner frame with specified name.
javax.swing.JInternalFrame	removeInternalFrame(javax.swing.JInternalFrame jif) Removes (and close) the specified inner frame from the desktop.
javax.swing.JInternalFrame	removeInternalFrame(java.lang.String name) Removes (and close) the inner frame with the specified name from the desktop.
void	rename(java.lang.String currentName, java.lang.String newName) Renames the inner frame.
void	setAllMaximum() Sets all the inner frames to their maximum size.
void	setMaximize(boolean maximize)
void	setSelected(java.lang.String name) Selects the inner frame with the specified name
void	showPalette(java.lang.String paletteIdentifier) Shows the palette with the specified name identfier.

Methods inherited from class javax.swing.JDesktopPane

getAccessibleContext, getAllFrames, getAllFramesInLayer, getDesktopManager, getDragMode, getSelectedFrame, getUI, getUIClassID, isOpaque, paramString, setDesktopManager, setDragMode, setSelectedFrame, setUI, updateUI

Methods inherited from class javax.swing.JLayeredPane

addImpl, getComponentCountInLayer, getComponentsInLayer, getComponentToLayer, getIndexOf, getLayer, getLayer, getLayeredPaneAbove, getObjectForLayer, getPosition, highestLayer, insertIndexForLayer, isOptimizedDrawingEnabled, lowestLayer, moveToBack, moveToFront, paint, putLayer, remove, setLayer, setLayer, setPosition

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Constructor Detail

Desktop

public Desktop()

The Constructor.

Method Detail

addNewInternalFrame

public javax.swing.JInternalFrame addNewInternalFrame(java.awt.Container contentPane)

Adds a new inner frame with the specified content pane.

Parameters:

contentPane - the specified content pane.

Returns:

the inner frame added.

addNewPaletteContentPane

public void addNewPaletteContentPane(java.lang.String paletteIdentifier,
                                     java.awt.Container contentPane)

Adds a new palette to the desktop.

Parameters:

paletteIdentifier - the palette identfier.

showPalette

public void showPalette(java.lang.String paletteIdentifier)

Shows the palette with the specified name identfier.

removeInternalFrame

public javax.swing.JInternalFrame removeInternalFrame(javax.swing.JInternalFrame jif)

Removes (and close) the specified inner frame from the desktop.

Parameters:

jif - the inner frame to remove.

removeInternalFrame

public javax.swing.JInternalFrame removeInternalFrame(java.lang.String name)

Removes (and close) the inner frame with the specified name from the desktop.

Parameters:

name - the name of the inner frame to remove.

getInternalFrame

public javax.swing.JInternalFrame getInternalFrame(java.lang.String name)

Gets the inner frame with specified name.

Parameters:

name - the name of the inner frame.

Returns:

the inner frame with the corresponding name. null otherwise.

getActiveInternalFrame

public javax.swing.JInternalFrame getActiveInternalFrame()

Gets the active inner frame in the desktop.

Returns:

the active inner frame if any. null otherwise.

getActivePalette

public javax.swing.JInternalFrame getActivePalette()

Gets the active palette in the desktop.

Returns:

the active inner frame if any. null otherwise.

setSelected

public void setSelected(java.lang.String name)

Selects the inner frame with the specified name

Parameters:

name - the specified name.

rename

public void rename(java.lang.String currentName,
                   java.lang.String newName)
            throws java.lang.Exception

Renames the inner frame.

Parameters:

currentName - the current name of the inner frame.

newName - the new name of the inner frame.

Throws:

java.lang.Exception

setAllMaximum

public void setAllMaximum()

Sets all the inner frames to their maximum size.

setMaximize

public void setMaximize(boolean maximize)

cascade

public void cascade()

Cascades the frame in the desktop.

closeAll

public void closeAll()

Closes all the frames in the desktop.