| java.lang.Object org.eclipse.ui.internal.texteditor.rulers.RulerColumnPlacement
RulerColumnPlacement | final public class RulerColumnPlacement (Code) | | Describes the placement specification of a contribution to the
org.eclipse.ui.texteditor.rulerColumns extension point.
since: 3.3 |
Method Summary | |
public Set | getConstraints() Returns the placement constraints in the order that they appear in the extension declaration. | public float | getGravity() The gravity of the placement specification, a float in the range [0, 1] . |
RulerColumnPlacement | public RulerColumnPlacement()(Code) | | |
RulerColumnPlacement | public RulerColumnPlacement(IConfigurationElement element) throws InvalidRegistryObjectException(Code) | | |
getConstraints | public Set getConstraints()(Code) | | Returns the placement constraints in the order that they appear in the extension declaration.
the unmodifiable set of placement constraints in the order that they appear in theextension declaration |
getGravity | public float getGravity()(Code) | | The gravity of the placement specification, a float in the range [0, 1] .
the gravity of the placement specification |
|
|