Basic injection queries for Quint (#13322 )

remove the multilingual field from book.toml (#13328 )
chore(jjdescription): bump rev to latest (#13329 )
2025-04-11 10:31:57 -05:00 · 2025-04-11 09:23:39 -05:00 · 2025-04-11 09:06:20 -05:00
4 changed files with 5 additions and 2 deletions
--- a/book/book.toml
+++ b/book/book.toml
@ -1,7 +1,6 @@
 [book]
 authors = ["Blaž Hrastnik"]
 language = "en"
-multilingual = false
 src = "src"

 [output.html]
--- a/languages.toml
+++ b/languages.toml
@ -3428,7 +3428,7 @@ text-width = 72

 [[grammar]]
 name = "jjdescription"
-source = { git = "https://github.com/kareigu/tree-sitter-jjdescription", rev = "d09205b52b5a0165b588a793e366c1116468d86f" }
+source = { git = "https://github.com/kareigu/tree-sitter-jjdescription", rev = "1613b8c85b6ead48464d73668f39910dcbb41911" }

 [[language]]
 name = "jq"
--- a/runtime/queries/jjdescription/highlights.scm
+++ b/runtime/queries/jjdescription/highlights.scm
@ -4,5 +4,7 @@
 (change type: "A" @diff.plus)
 (change type: "D" @diff.minus)
 (change type: "M" @diff.delta)
+(change type: "C" @diff.plus)
+(change type: "R" @diff.delta)

 (comment) @comment
--- a/runtime/queries/quint/injections.scm
+++ b/runtime/queries/quint/injections.scm
@ -0,0 +1,2 @@
+((comment) @injection.content
+ (#set! injection.language "comment"))
Author	SHA1	Message	Date
Niklas Gruhn	340934db92	Basic injection queries for Quint (#13322 )	2025-04-11 10:31:57 -05:00
Gábor Szabó	d0275a554a	remove the multilingual field from book.toml (#13328 )	2025-04-11 09:23:39 -05:00
RoloEdits	4a7939928e	chore(jjdescription): bump rev to latest (#13329 )	2025-04-11 09:06:20 -05:00