jpicedt.format.output.pstricks
Class PstricksCustomProperties

java.lang.Object
  jpicedt.format.output.pstricks.PstricksCustomProperties

All Implemented Interfaces:

Customization, PstricksCustomization

public class PstricksCustomProperties
extends Object
implements PstricksCustomization

Constructor Summary

PstricksCustomProperties()

PstricksCustomProperties(int i)

Method Summary

PstricksConstants.PstricksAngleCorrection	getAngleCorrection()
ColorFormatter.ColorEncoding	getFormatterPredefinedColorSet()
ColorFormatter.ColorEncoding	getParserPredefinedColorSet()
int	load(Properties preferences) Loads Customization value from a Properties prop
int	loadDefault() Loads widgets display content with a default value, presumably from a "default preferences" file or a dedicated storage class.
void	setAngleCorrection(PstricksConstants.PstricksAngleCorrection angleCorrection)
void	setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)
void	setParserPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)
void	store(Properties preferences) Stores current Customization value to a Properties prop

Methods inherited from class java.lang.Object

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

Constructor Detail

PstricksCustomProperties

public PstricksCustomProperties()

PstricksCustomProperties

public PstricksCustomProperties(int i)

Method Detail

getAngleCorrection

public PstricksConstants.PstricksAngleCorrection getAngleCorrection()

Specified by:

getAngleCorrection in interface PstricksCustomization

setAngleCorrection

public void setAngleCorrection(PstricksConstants.PstricksAngleCorrection angleCorrection)

Specified by:

setAngleCorrection in interface PstricksCustomization

getFormatterPredefinedColorSet

public ColorFormatter.ColorEncoding getFormatterPredefinedColorSet()

Specified by:

getFormatterPredefinedColorSet in interface PstricksCustomization

setFormatterPredefinedColorSet

public void setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)

Specified by:

setFormatterPredefinedColorSet in interface PstricksCustomization

getParserPredefinedColorSet

public ColorFormatter.ColorEncoding getParserPredefinedColorSet()

Specified by:

getParserPredefinedColorSet in interface PstricksCustomization

setParserPredefinedColorSet

public void setParserPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)

Specified by:

setParserPredefinedColorSet in interface PstricksCustomization

store

public void store(Properties preferences)

Description copied from interface: Customization

Stores current Customization value to a Properties prop

Specified by:

store in interface Customization

Parameters:

preferences - Propriétés de personnalisation dans lesquelles this mémorise les valeurs de propriétés qui lui sont courantes.

loadDefault

public int loadDefault()

Description copied from interface: Customization

Loads widgets display content with a default value, presumably from a "default preferences" file or a dedicated storage class.

Specified by:

loadDefault in interface Customization

load

public int load(Properties preferences)

Description copied from interface: Customization

Loads Customization value from a Properties prop

Specified by:

load in interface Customization

Parameters:

preferences - Propriétés de personnalisation à charger dans this