From 4d3b1fdcc7493a42b502d581f131a3ee800f4044 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Sat, 14 Dec 2024 11:10:17 -0800
Subject: [PATCH] minor changes to highlights

---
 lua/perga/init.lua                   | 1 +
 queries/perga/highlights.scm         | 4 ++--
 queries/perga/rainbow-delimiters.scm | 4 ----
 3 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/lua/perga/init.lua b/lua/perga/init.lua
index fd9ce1a..4f93547 100644
--- a/lua/perga/init.lua
+++ b/lua/perga/init.lua
@@ -19,6 +19,7 @@ function M.setup(opts)
     parser_config.perga = {
         install_info = {
             url = 'https://forgejo.ballcloud.cc/wball/tree-sitter-perga',
+            -- url = '$HOME/repos/tree-sitter-perga',
             files = {'src/parser.c'},
             branch = 'main',
             generate_requires_npm = false,
diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index 55c6934..20d5fc2 100644
--- a/queries/perga/highlights.scm
+++ b/queries/perga/highlights.scm
@@ -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
   (command) @keyword
@@ -13,7 +13,7 @@
 (comment) @comment
 ;(block_comment) @comment
 
-[ "(" ")" "[" "]" ] @punctuation.bracket
+[ "(" ")" ] @punctuation.bracket
 
 (definition
   name: (identifier) @function)
diff --git a/queries/perga/rainbow-delimiters.scm b/queries/perga/rainbow-delimiters.scm
index 0d9f4e9..95c86f1 100644
--- a/queries/perga/rainbow-delimiters.scm
+++ b/queries/perga/rainbow-delimiters.scm
@@ -17,7 +17,3 @@
 (variable_binding
   "(" @delimiter
   ")" @delimiter @sentinel) @container
-
-(labs_alt
-  "[" @delimiter
-  "]" @delimiter @sentinel) @container