fix: skip hidden fence when parsing

Skip \left. and \right. Confusing to user and sometimes the hidden fence cannot be deleted
mgreminger · Feb 9, 2024 · 83d353a · 83d353a
1 parent 9373701
commit 83d353a
Show file tree

Hide file tree

Showing 3 changed files with 301 additions and 295 deletions.
diff --git a/src/parser/LatexLexer.g4 b/src/parser/LatexLexer.g4
@@ -65,8 +65,8 @@ CMD_SLASH_LOG_UNDERSCORE_SINGLE_CHAR_ID: '\\log' [ ]* '_' [a-zA-Z] ;
 
 COMMENT: '\\text{' .*? '}' -> skip ;
 
-CMD_LEFT: '\\left' -> skip ;
-CMD_RIGHT: '\\right' -> skip ;
+CMD_LEFT: '\\left' '.'? -> skip ;
+CMD_RIGHT: '\\right' '.'? -> skip ;
 
 DOUBLE_DOLLAR_SIGN: '$$' -> skip ;