Refactor LabelledString

This commit is contained in:
YishiMichael 2022-04-15 23:26:41 +08:00
parent 0a810bb4f1
commit 14dfd776dc
No known key found for this signature in database
GPG key ID: EC615C0C5A86BC80

View file

@ -135,8 +135,8 @@ class MTex(LabelledString):
if span_begin in brace_indices_dict.keys(): if span_begin in brace_indices_dict.keys():
span_end = brace_indices_dict[span_begin] + 1 span_end = brace_indices_dict[span_begin] + 1
else: else:
match_obj = self.match(script_pattern, pos=span_begin) span = self.find_spans(script_pattern, pos=span_begin)[0]
if not match_obj: if span[0] != span_begin:
script_name = { script_name = {
"_": "subscript", "_": "subscript",
"^": "superscript" "^": "superscript"
@ -145,7 +145,7 @@ class MTex(LabelledString):
f"Unclear {script_name} detected while parsing. " f"Unclear {script_name} detected while parsing. "
"Please use braces to clarify" "Please use braces to clarify"
) )
span_end = match_obj.end() span_end = span[1]
result.append((span_begin, span_end)) result.append((span_begin, span_end))
return result return result