diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-01-22 13:32:58 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-01-22 13:32:58 +0100 |
| commit | 7e295d84b55322e84695e793af8d64b6ec89e357 (patch) | |
| tree | 4570ee01286e69846ed1be382e30d1d3b0ed9bed /src/ide/highlight.rs | |
| parent | 953bdc1859f7acdbecbb7b819bc5b113a50849d0 (diff) | |
Math delimiter grouping
Diffstat (limited to 'src/ide/highlight.rs')
| -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), |