jpicedt.format.output.tikz
Interface TikzCustomization
- All Superinterfaces:
- Customization
- All Known Implementing Classes:
- TikzCustomProperties
public interface TikzCustomization
- extends Customization
Interface de manipulation des préférences utilisateur pour l'import/export des dessins au format TikZ.
- Since:
- jpicedt 1.6
- Version:
- $Id: TikzCustomization.java,v 1.8 2013/03/27 07:08:45 vincentb1 Exp $
- Author:
- Vincent Belaïche
getHasArrowTipPackage
boolean getHasArrowTipPackage()
getClipBasedOnJPE_BB
boolean getClipBasedOnJPE_BB()
setHasArrowTipPackage
void setHasArrowTipPackage(boolean val)
setClipBasedOnJPE_BB
void setClipBasedOnJPE_BB(boolean val)
getFormatterPredefinedColorSet
ColorFormatter.ColorEncoding getFormatterPredefinedColorSet()
setFormatterPredefinedColorSet
void setFormatterPredefinedColorSet(ColorFormatter.ColorEncoding predefinedColorSet)
Submit a bug : syd@jpicedt.org