public class Settings.Latex2pdfOptions extends Object
Latex2pdfOptions()
void
addText(String args)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Latex2pdfOptions()
public void addText(String args)