jpicedt
Interface Customization

All Known Subinterfaces:

DXFCustomization, PstricksCustomization, TikzCustomization

All Known Implementing Classes:

DXFCustomProperties, DXFFormatter, PstricksCustomProperties, TikzCustomProperties

public interface Customization

Interface permettant de charger/décharger des propriétés de personnalisation dans une classe en dépendant.

Since:

jPicEdt 1.6

Author:

Vincent Belaïche

Method Summary

int	load(Properties prop) 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	store(Properties prop) Stores current Customization value to a Properties prop

Method Detail

loadDefault

int loadDefault()

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

Since:

jPicEdt 1.6

load

int load(Properties prop)

Loads Customization value from a Properties prop

Parameters:

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

Since:

jPicEdt 1.6

store

void store(Properties prop)

Stores current Customization value to a Properties prop

Parameters:

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

Since:

jPicEdt 1.6