java.lang.Object
org.aya.pretty.printer.PrinterConfig.Basic<S>
org.aya.pretty.backend.string.StringPrinterConfig<TeXStylist>
org.aya.pretty.backend.latex.DocTeXPrinter.Config
- All Implemented Interfaces:
PrinterConfig
- Enclosing class:
DocTeXPrinter
-
Nested Class Summary
Nested classes/interfaces inherited from class org.aya.pretty.backend.string.StringPrinterConfig
StringPrinterConfig.LinkOptions, StringPrinterConfig.StyleOptions, StringPrinterConfig.TextOptionsNested classes/interfaces inherited from interface org.aya.pretty.printer.PrinterConfig
PrinterConfig.Basic<S extends Stylist>, PrinterConfig.Options<T>, PrinterConfig.PageOptions -
Field Summary
Fields inherited from class org.aya.pretty.printer.PrinterConfig.Basic
optionsFields inherited from interface org.aya.pretty.printer.PrinterConfig
INFINITE_SIZE -
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.aya.pretty.printer.PrinterConfig.Basic
getPageHeight, getPageWidth, getStylist, opt, set
-
Constructor Details
-
Config
public Config() -
Config
-
-
Method Details
-
katex
public boolean katex() -
separateStyle
public boolean separateStyle()
-