[ git ] Merge pull request #121 from choukh/master

add lagda.md highlight support
banacorn · Oct 10, 2022 · 905ec61 · 905ec61
2 parents 089db42 + fd91a7e
commit 905ec61
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/package.json b/package.json
@@ -72,6 +72,14 @@
 				"configuration": "./language-configuration.json"
 			}
 		],
+		"grammars": [
+			{
+				"language": "agda",
+				"scopeName": "text.html.markdown",
+				"path": "./syntaxes/markdown.tmLanguage.json",
+				"injectTo": ["source.agda"]
+			}
+		],
 		"commands": [
 			{
 				"command": "agda-mode.load",