Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
Vanessa 2023-04-28 19:59:28 +08:00
commit 0cd68fe571

View file

@ -1624,6 +1624,10 @@ func exportTree(tree *parse.Tree, wysiwyg, expandKaTexMacros, keepFold bool,
return ast.WalkContinue
} else if treenode.IsFileAnnotationRef(n) {
refID := n.TextMarkFileAnnotationRefID
if !strings.Contains(refID, "/") {
return ast.WalkSkipChildren
}
status := processFileAnnotationRef(refID, n, fileAnnotationRefMode)
unlinks = append(unlinks, n)
return status