wball/perga.nvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

minor changes to highlights

Browse source
This commit is contained in:
William Ball 2024-12-14 11:10:17 -08:00
parent e5d8affe5e
commit 4d3b1fdcc7
3 changed files with 3 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lua/perga/init.lua
View file

@ -19,6 +19,7 @@ function M.setup(opts)
parser_config.perga = { parser_config.perga = {
install_info = { install_info = {
url = 'https://forgejo.ballcloud.cc/wball/tree-sitter-perga', url = 'https://forgejo.ballcloud.cc/wball/tree-sitter-perga',
-- url = '$HOME/repos/tree-sitter-perga',
files = {'src/parser.c'}, files = {'src/parser.c'},
branch = 'main', branch = 'main',
generate_requires_npm = false, generate_requires_npm = false,

4
queries/perga/highlights.scm
View file

@ -1,4 +1,4 @@
[ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" "variable" "hypothesis" "section" "infixl" "infixr" ] @keyword [ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" "variable" "hypothesis" "section" "infixl" "infixr" "[" "]" ] @keyword
(preprocess (preprocess
(command) @keyword (command) @keyword
@ -13,7 +13,7 @@
(comment) @comment (comment) @comment
;(block_comment) @comment ;(block_comment) @comment
[ "(" ")" "[" "]" ] @punctuation.bracket [ "(" ")" ] @punctuation.bracket
(definition (definition
name: (identifier) @function) name: (identifier) @function)

4
queries/perga/rainbow-delimiters.scm
View file

@ -17,7 +17,3 @@
(variable_binding (variable_binding
"(" @delimiter "(" @delimiter
")" @delimiter @sentinel) @container ")" @delimiter @sentinel) @container
(labs_alt
"[" @delimiter
"]" @delimiter @sentinel) @container