public interface LatexPrinterPropertyKeys extends PrintPropertiesKeys
Modifier and Type | Field and Description |
---|---|
static String |
PROP_LATEXPRINTER_WRAPPING
When this property is
true , the LaTeX printing adds preamble/postscript
to LaTeX output in order to enable LaTeX compilation. |
static boolean |
PROP_LATEXPRINTER_WRAPPING_DEFAULT |
PROP_PRINT_NAME_IDS, PROP_PRINT_NAME_IDS_DEFAULT, PROP_PRINT_ZEVES, PROP_PRINT_ZEVES_DEFAULT, PROP_PRINTING_ONTHEFLY_SECTION_NAME, PROP_PRINTING_ONTHEFLY_SECTION_NAME_DEFAULT, PROP_PRINTING_STRUCTURED_GOAL, PROP_PRINTING_STRUCTURED_GOAL_DEFAULT, PROP_TXT_TAB_SIZE, PROP_TXT_TAB_SIZE_DEFAULT, PROP_TXT_WIDTH, PROP_TXT_WIDTH_DEFAULT
static final String PROP_LATEXPRINTER_WRAPPING
true
, the LaTeX printing adds preamble/postscript
to LaTeX output in order to enable LaTeX compilation. Set to false when processing
multiple LaTeX printing for a single file.
DEFAULT = true; TYPE = booleanstatic final boolean PROP_LATEXPRINTER_WRAPPING_DEFAULT
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.