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