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