message: Make parseLatex return undefined on errors. Reverting changes
diff: @@ -27,8 +27,8 @@ export class UtensilsParser {
  * @param options
  * @return undefined if parsing fails
  */
  - async parseLatex(s: string, options?: latexParser.ParserOptions): Promise<latexParser.LatexAst> {
  - return (await this.proxy).parseLatex(s, options).timeout(3000)
  + async parseLatex(s: string, options?: latexParser.ParserOptions): Promise<latexParser.LatexAst | undefined> {
  + return (await this.proxy).parseLatex(s, options).timeout(3000).catch(() => undefined)
  }
  async parseLatexPreamble(s: string): Promise<latexParser.AstPreamble> {
  