Only mark $$ as deprecated

pfoerster · pfoerster · commit 4c55f3c25c41 · 2023-03-18T11:37:12.000+01:00
diff --git a/src/features/semantic_tokens/math_delimiter.rs b/src/features/semantic_tokens/math_delimiter.rs
@@ -11,7 +11,7 @@ pub(super) fn find(context: Context, builder: &mut TokenBuilder) -> Option<()> {
         .as_node()?
         .descendants_with_tokens()
         .filter_map(|elem| elem.into_token())
-        .filter(|token| token.kind() == latex::DOLLAR)
+        .filter(|token| token.kind() == latex::DOLLAR && token.text() == "$$")
     {
         builder.push(Token {
             range: token.text_range(),

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ pub(super) fn find(context: Context, builder: &mut TokenBuilder) -> Option<()> {`
`11`	`11`	`.as_node()?`
`12`	`12`	`.descendants_with_tokens()`
`13`	`13`	`.filter_map(\|elem\| elem.into_token())`
`14`		`- .filter(\|token\| token.kind() == latex::DOLLAR)`
	`14`	`+ .filter(\|token\| token.kind() == latex::DOLLAR && token.text() == "$$")`
`15`	`15`	`{`
`16`	`16`	`builder.push(Token {`
`17`	`17`	`range: token.text_range(),`