jpicedt.format.output.tikz
Class TikzCustomProperties

java.lang.Object
  jpicedt.format.output.tikz.TikzCustomProperties

All Implemented Interfaces:

Customization, TikzCustomization

public class TikzCustomProperties
extends Object
implements TikzCustomization

Préférences utilisateurs pour l'import/export de dessins au format TikZ.

Since:

jpicedt 1.6

Author:

Vincent Belaïche

Nested Class Summary

static class

TikzCustomProperties.ChangedPropertyMask

Method Summary

boolean	getClipBasedOnJPE_BB()
ColorFormatter.ColorEncoding	getFormatterPredefinedColorSet()
boolean	getHasArrowTipPackage()
int	load(Properties preferences) Charge les préférences TikZ depuis prop vers this (opération inverse de store).
int	loadDefault() Charge le contenu d'affichage des widgets avec les valeurs par défaut prises des TikzContants.
void	setClipBasedOnJPE_BB(boolean val)
void	setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)
void	setHasArrowTipPackage(boolean val)
void	store(Properties preferences) Stocke dans l'objet preferences les propriétés résidant dans this (opération inverse de load).

Methods inherited from class java.lang.Object

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

Method Detail

getHasArrowTipPackage

public boolean getHasArrowTipPackage()

Specified by:

getHasArrowTipPackage in interface TikzCustomization

getClipBasedOnJPE_BB

public boolean getClipBasedOnJPE_BB()

Specified by:

getClipBasedOnJPE_BB in interface TikzCustomization

setHasArrowTipPackage

public void setHasArrowTipPackage(boolean val)

Specified by:

setHasArrowTipPackage in interface TikzCustomization

setClipBasedOnJPE_BB

public void setClipBasedOnJPE_BB(boolean val)

Specified by:

setClipBasedOnJPE_BB in interface TikzCustomization

getFormatterPredefinedColorSet

public ColorFormatter.ColorEncoding getFormatterPredefinedColorSet()

Specified by:

getFormatterPredefinedColorSet in interface TikzCustomization

setFormatterPredefinedColorSet

public void setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)

Specified by:

setFormatterPredefinedColorSet in interface TikzCustomization

loadDefault

public int loadDefault()

Charge le contenu d'affichage des widgets avec les valeurs par défaut prises des TikzContants.

Specified by:

loadDefault in interface Customization

Returns:

un topogramme binaire indiquant que certains attributs changés. Le topogramme peut être testé selon les valeurs énumérées dans ChangedPropertyMask.

Since:

jPicEdt 1.6

load

public int load(Properties preferences)

Charge les préférences TikZ depuis prop vers this (opération inverse de store).

Specified by:

load in interface Customization

Parameters:

preferences - L'objet depuis lequel on charge les préférences.

Returns:

un int, pareil que pour loadDefault.

Since:

jPicEdt 1.6

store

public void store(Properties preferences)

Stocke dans l'objet preferences les propriétés résidant dans this (opération inverse de load).

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.

Since:

jPicEdt 1.6