diff options
Diffstat (limited to 'src/ide')
| -rw-r--r-- | src/ide/highlight.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ide/highlight.rs b/src/ide/highlight.rs index 42c05002..5f615d04 100644 --- a/src/ide/highlight.rs +++ b/src/ide/highlight.rs @@ -115,6 +115,7 @@ pub fn highlight(node: &LinkedNode) -> Option<Category> { SyntaxKind::TermMarker => Some(Category::ListMarker), SyntaxKind::Math => None, SyntaxKind::Atom => None, + SyntaxKind::Delimited => None, SyntaxKind::Script => None, SyntaxKind::Frac => None, SyntaxKind::AlignPoint => Some(Category::MathOperator), |