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