fr.ove.openmath.jome.ctrlview.bidim
Class HorizontalLayout

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout

All Implemented Interfaces:

java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, java.io.Serializable

Direct Known Subclasses:

DenominatorDiffLayout, DifferentiationLayout, EnclosingLayout, Function2Layout, GroupLayout, InfixOperatorLayout, IntegralLayout, LambdaExpLayout, LimitLayout, MapsToSigmaLayout, Mfd2SubstitutionLayout, OverLayout, RequestLayout, RootLayout, ScriptLayout, SubSuperScriptLayout, UnaryOperatorLayout, UnderOverLayout, VarDiffLayout

public abstract class HorizontalLayout

extends DisplayLayout

A layout manager that lays components horyzontally.

Version:

2.0 13/12/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout

displayToLay

Constructor Summary

HorizontalLayout()

Method Summary

java.awt.Dimension	computeAttributes() Computes the size of the display according to its children size (if any), and its different attributes.
void	layoutContainer(java.awt.Container parent)

Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout

addLayoutComponent, addLayoutComponent, deselectDisplay, getLayoutAlignmentX, getLayoutAlignmentY, initDisplay, invalidateLayout, maximumLayoutSize, minimumLayoutSize, preferredLayoutSize, rebuildDisplay, removeLayoutComponent, selectDisplay, selectLeftDisplay, selectRightDisplay, updateLevel, validateDeselection, validateSelection

Methods inherited from class java.lang.Object

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

Constructor Detail

HorizontalLayout

public HorizontalLayout()

Method Detail

computeAttributes

public java.awt.Dimension computeAttributes()

Computes the size of the display according to its children size (if any), and its different attributes.

Specified by:

computeAttributes in class DisplayLayout

Returns:

the size of the display.

layoutContainer

public void layoutContainer(java.awt.Container parent)