org.eclipse.ui.internal.TrimLayoutData Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of workbench Show documentation
Show all versions of workbench Show documentation
This plug-in contains the bulk of the Workbench implementation, and depends on JFace, SWT, and Core Runtime. It cannot be used independently from org.eclipse.ui. Workbench client plug-ins should not depend directly on this plug-in.
The newest version!
/*******************************************************************************
* Copyright (c) 2006 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
******************************************************************************/
package org.eclipse.ui.internal;
/**
* 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
*
*/
public class TrimLayoutData {
// Constants
/**
* 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.
*/
public static final int GROWABLE = 0x1;
/**
* The trim element will shrink to the shrinkableSize
if
* needed to fit the element into the trim but will never grow larger than
*/
public static final int SHRINKABLE = 0x2;
/**
* 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.
*/
public static final int GRAB_EXCESS_MINOR = 0x4;
// Fields
public String trimId;
public String areaId;
public int flags;
public ITrimAreaChangeListener listener;
public int shrinkableSize;
public TrimLayoutData(String trimId, String areaId, int flags,
ITrimAreaChangeListener listener) {
this.trimId = trimId;
this.areaId = areaId;
this.flags = flags;
this.listener = listener;
}
public TrimLayoutData(String trimId, String areaId, int flags) {
this(trimId, areaId, flags, null);
}
public TrimLayoutData(String trimId, String areaId) {
this(trimId, areaId, 0);
}
public void setAreaId(String newAreaId) {
if (listener != null) {
listener.areaChanged(WorkbenchLayout.getOrientation(areaId),
WorkbenchLayout.getOrientation(newAreaId));
}
areaId = newAreaId;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy