Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Playground should show anonymous nodes #3261

Open
savetheclocktower opened this issue Apr 6, 2024 · 0 comments
Open

Playground should show anonymous nodes #3261

savetheclocktower opened this issue Apr 6, 2024 · 0 comments
Labels
enhancement Feature request good-first-issue Good issues for first-time contributors wanting to help out playground

Comments

@savetheclocktower
Copy link
Contributor

Problem

People ask pretty often in Discord about the concept of anonymous nodes. Since the playground doesn't show them alongside named nodes, there's not much visibility around them, and it's easy for an inexperienced Tree-sitter user to think that they just aren't there, or that they can't be queried against.

Expected behavior

We implemented the playground inside of Pulsar as part of the tree-sitter-tools package, and I solved this by making a toggle:

Screenshot 2024-04-05 at 7 23 00 PM

It could be off by default, but its presence would make it clearer that anonymous nodes aren't absent — they're just hidden from the tree by default.

I'll likely get around to contributing this myself as a PR, but maybe someone else might get to it first.

@savetheclocktower savetheclocktower added the enhancement Feature request label Apr 6, 2024
@ObserverOfTime ObserverOfTime added good-first-issue Good issues for first-time contributors wanting to help out playground labels Apr 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Feature request good-first-issue Good issues for first-time contributors wanting to help out playground
Projects
None yet
Development

No branches or pull requests

2 participants