public class EditingPreferences extends PrefPackage
PrefPackage.BooleanPref, PrefPackage.DoublePref, PrefPackage.IntegerPref, PrefPackage.LongPref, PrefPackage.StringPref
Modifier and Type | Field and Description |
---|---|
int |
smartHorizontalPlacementArc
what type of "smart" text placement should be done for horizontal Arcs.
|
int |
smartHorizontalPlacementExport
What type of "smart" horizontal text placement should be done for Exports.
|
int |
smartVerticalPlacementArc
What type of "smart" text placement should be done for vertical Arcs.
|
int |
smartVerticalPlacementExport
What type of "smart" vertical text placement should be done for Exports.
|
TECH_NODE, USER_NODE
Constructor and Description |
---|
EditingPreferences(boolean factory,
TechPool techPool) |
getFactoryPrefRoot, getKey, getKey, getKey, getKey, getPrefRoot, withField
public final int smartVerticalPlacementExport
public final int smartHorizontalPlacementExport
public final int smartVerticalPlacementArc
public final int smartHorizontalPlacementArc
public EditingPreferences(boolean factory, TechPool techPool)
public void putPrefs(java.util.prefs.Preferences prefRoot, boolean removeDefaults)
PrefPackage
putPrefs
in class PrefPackage
prefRoot
- the root of the Preferences subtree.removeDefaults
- remove from the Preferences subtree options which have factory default value.public void putPrefs(java.util.prefs.Preferences prefRoot, boolean removeDefaults, EditingPreferences oldEp)
public EditingPreferences withNodeSize(PrimitiveNodeId pnId, EPoint size)
public EditingPreferences withNodesReset()
public EditingPreferences withArcFlags(ArcProtoId apId, int flags)
public EditingPreferences withArcGridExtend(ArcProtoId apId, long gridExtend)
public EditingPreferences withArcAngleIncrement(ArcProtoId apId, int angleIncrement)
public EditingPreferences withArcPin(ArcProtoId apId, PrimitiveNodeId arcPinId)
public EditingPreferences withArcsReset()
public ImmutableNodeInst getDefaultNode(PrimitiveNodeId pnId)
public ImmutableArcInst getDefaultArc(ArcProtoId apId)
public java.lang.Integer getDefaultAngleIncrement(ArcProtoId apId)
public PrimitiveNodeId getDefaultArcPinId(ArcProtoId apId)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public Dimension2D getAlignmentToGrid()
public int getAlignmentToGridIndex()
public Dimension2D[] getAlignmentToGridVector()
public EditingPreferences withAlignment(Dimension2D[] dist, int current)
dist
- the array of grid alignment values.current
- the index in the array that is the current grid alignment.public EditingPreferences withAlignmentReset()
public TextDescriptor getTextDescriptor(AbstractTextDescriptor.TextType textType, boolean display)
public EditingPreferences withTextDescriptor(AbstractTextDescriptor.TextType textType, TextDescriptor td)
public EditingPreferences withTextDescriptorsReset()
public EditingPreferences withSmartVerticalPlacementExport(int smartVerticalPlacementExport)
public EditingPreferences withSmartHorizontalPlacementExport(int smartHorizontalPlacementExport)
public EditingPreferences withSmartVerticalPlacementArc(int smartVerticalPlacementArc)
public EditingPreferences withSmartHorizontalPlacementArc(int smartHorizontalPlacementArc)
public EditingPreferences withPlacementReset()
public int hashCode()
hashCode
in class java.lang.Object
public static EditingPreferences getThreadEditingPreferences()
public static EditingPreferences setThreadEditingPreferences(EditingPreferences ep)