Skip to content

Conversation

@philwhln
Copy link

Addresses #1732 (comment)

@Vanpaia
Copy link

Vanpaia commented Dec 16, 2025

I wasn't aware of the treesitter API change, this change indeed fixes the issue. Thanks!

@majalcmaj
Copy link

Thank you a lot @philwhln !
I applied this locally and it gets the job done. It would be lovely to have this PR merged - it will save people some nerves ;)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants