jpicedt.format.output.pstricks
Interface PstricksCustomization

All Superinterfaces:

Customization

All Known Implementing Classes:

PstricksCustomProperties

public interface PstricksCustomization
extends Customization

Interface de manipulation des préférences utilisateur pour la conversion entre les formats PsTricks et jPicEdt.

Since:

jPicEdt 1.6

Version:

$Id: PstricksCustomization.java,v 1.4 2013/03/27 12:12:11 vincentb1 Exp $

Author:

Vincent Belaïche

Method Summary

PstricksConstants.PstricksAngleCorrection	getAngleCorrection()
ColorFormatter.ColorEncoding	getFormatterPredefinedColorSet()
ColorFormatter.ColorEncoding	getParserPredefinedColorSet()
void	setAngleCorrection(PstricksConstants.PstricksAngleCorrection angleCorrection)
void	setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)
void	setParserPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)

Methods inherited from interface jpicedt.Customization

load, loadDefault, store

Method Detail

getAngleCorrection

PstricksConstants.PstricksAngleCorrection getAngleCorrection()

setAngleCorrection

void setAngleCorrection(PstricksConstants.PstricksAngleCorrection angleCorrection)

getFormatterPredefinedColorSet

ColorFormatter.ColorEncoding getFormatterPredefinedColorSet()

setFormatterPredefinedColorSet

void setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)

getParserPredefinedColorSet

ColorFormatter.ColorEncoding getParserPredefinedColorSet()

setParserPredefinedColorSet

void setParserPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)