|
6191bd4e1b
|
add --no-build to start_test
|
2023-12-19 18:55:44 +01:00 |
|
|
ff4959e42e
|
Make quickjump highlight style final
|
2023-12-19 18:42:30 +01:00 |
|
|
6cff0d8836
|
indentation issue
|
2023-12-19 18:27:42 +01:00 |
|
|
522ba2b191
|
Add type_identifier to rust type group
|
2023-12-19 18:27:03 +01:00 |
|
|
e9546cb0e8
|
Add tree-quickjump
|
2023-12-19 18:26:43 +01:00 |
|
|
662bcbc908
|
Remove unused logging
|
2023-12-19 12:00:44 +01:00 |
|
|
2877fe103f
|
add html
|
2023-12-11 20:05:41 +01:00 |
|
|
6fdcaa89d3
|
Remove some extraneous rust declarations
|
2023-11-14 21:37:53 +01:00 |
|
|
7a4fda31a5
|
update python config
|
2023-11-14 12:58:45 +01:00 |
|
|
ed79dfccfb
|
Rewire SelectNextNode / SelectPreviousNode
|
2023-11-13 19:10:22 +01:00 |
|
|
0e27fd91a7
|
Add python language to default
|
2023-11-13 18:52:48 +01:00 |
|
|
a42c97962d
|
block query
|
2023-11-13 18:52:41 +01:00 |
|
|
1ccccb370b
|
Don't select the current node in select_nodes
|
2023-11-13 18:46:34 +01:00 |
|
|
2c17cea19e
|
Change groups slightly
|
2023-11-12 23:29:11 +01:00 |
|
|
32a77b3a31
|
Change behaviour of next and previous node
|
2023-11-12 23:08:35 +01:00 |
|
|
64d1ab66f9
|
Sample runners
|
2023-11-12 23:05:19 +01:00 |
|
|
6e6ad7a82b
|
Default config
|
2023-11-12 22:54:56 +01:00 |
|
|
374910704d
|
Change select-children to not use nodes_in_range
|
2023-11-12 22:17:04 +01:00 |
|
|
05319779a3
|
do highlight at bufnewfile and bufopenfile
|
2023-11-12 20:20:20 +01:00 |
|
|
326cb00da5
|
Change selection to have anchor at the start
|
2023-11-12 20:06:26 +01:00 |
|
|
1314dce07d
|
Ignore unnamed nodes
|
2023-11-12 17:26:53 +01:00 |
|
|
fc7288a27f
|
tree-select-node to select current node
|
2023-11-12 17:26:44 +01:00 |
|
|
a78febec6c
|
Highlight current node
|
2023-11-12 17:26:31 +01:00 |
|
|
0acc4dbba4
|
Add agda, nix
|
2023-11-12 14:36:27 +01:00 |
|
|
d62b1657c3
|
Try to load language for --do-you-understand
|
2023-11-12 11:42:22 +01:00 |
|
|
169380d8bc
|
Update tree-sitter
|
2023-11-12 11:41:49 +01:00 |
|
|
f193be1731
|
First commit
|
2023-11-12 00:21:50 +01:00 |
|