diff --git a/newt-vscode/package.json b/newt-vscode/package.json index 8f9bc75..0f345a4 100644 --- a/newt-vscode/package.json +++ b/newt-vscode/package.json @@ -37,6 +37,16 @@ "language": "newt", "scopeName": "source.newt", "path": "./syntaxes/newt.tmLanguage.json" + }, + { + "path": "./syntaxes/inject.json", + "scopeName": "newt.injection", + "injectTo": [ + "text.html.markdown" + ], + "embeddedLanguages": { + "meta.embedded.block.idris": "newt" + } } ], "commands": [ diff --git a/newt-vscode/syntaxes/inject.json b/newt-vscode/syntaxes/inject.json new file mode 100644 index 0000000..e799bdf --- /dev/null +++ b/newt-vscode/syntaxes/inject.json @@ -0,0 +1,44 @@ +{ + "scopeName": "newt.injection", + "injectionSelector": "L:text.html.markdown", + "patterns": [ + { + "include": "#fenced_code_block_newt" + } + ], + "repository": { + "fenced_code_block_newt": { + "begin": "(^|\\G)(\\s*)(`{3,}|~{3,})\\s*(?i:(newt)((\\s+|:|,|\\{|\\?)[^`]*)?$)", + "name": "markup.fenced_code.block.markdown", + "end": "(^|\\G)(\\2|\\s{0,3})(\\3)\\s*$", + "beginCaptures": { + "3": { + "name": "punctuation.definition.markdown" + }, + "4": { + "name": "fenced_code.block.language.markdown" + }, + "5": { + "name": "fenced_code.block.language.attributes.markdown" + } + }, + "endCaptures": { + "3": { + "name": "punctuation.definition.markdown" + } + }, + "patterns": [ + { + "begin": "(^|\\G)(\\s*)(.*)", + "while": "(^|\\G)(?!\\s*([`~]{3,})\\s*$)", + "contentName": "meta.embedded.block.newt", + "patterns": [ + { + "include": "source.newt" + } + ] + } + ] + } + } +}