Class Settings.PatternErrLatex

  • Enclosing class:
    Settings

    public class Settings.PatternErrLatex
    extends Object
    • Constructor Detail

      • PatternErrLatex

        public PatternErrLatex()
    • Method Detail

      • addText

        public void addText​(String pattern)