| java.lang.Object
 org.eclipse.ui.internal.TrimLayoutData
| TrimLayoutData | | public class TrimLayoutData (Code) | | The layout data class used by the WorkbenchLayout to arrange
trim around the workbench edges.
NOTE: This class is a part of a 'work in progress' and should not be used
without consulting the Platform UI group. No guarantees are made as to the
stability of the API (except that the javadoc will get better...;-).
since:
3.2 |
| GRAB_EXCESS_MINOR | | final public static int GRAB_EXCESS_MINOR(Code) | | The trim element will grow in its 'minor' dimension (i.e. in Y if the
trim is oriented horizontally) to match the size of the TrimArea that it
is in.
|
| GROWABLE | | final public static int GROWABLE(Code) | | The trim element will grow unbounded based on the amount of unused space
in its TrimArea but will never be smaller than it's preferred size. Only
one of GROWABLE or SHRINKABLE should be
specified.
|
| SHRINKABLE | | final public static int SHRINKABLE(Code) | | The trim element will shrink to the shrinkableSize if
needed to fit the element into the trim but will never grow larger than
|
| shrinkableSize | | public int shrinkableSize(Code) | | |
|
|