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

feat: add a tree tui #5

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

feat: add a tree tui #5

wants to merge 1 commit into from

Conversation

theoparis
Copy link
Contributor

Initially I was going to use the tui-tree-widget crate, but it ended up not working the way I wanted.
I wrote this ratatui widget from scratch that doesn't scroll horizontally for now.

I still need to separate the derivation graph code and the tree widget from main.rs.

Initially I was going to use the tui-tree-widget crate,
but it ended up not working the way I wanted.
I wrote this ratatui widget from scratch that
doesn't scroll horizontally for now.
@theoparis theoparis force-pushed the theoparis/add-tree-ui branch from 659506c to 9748685 Compare February 23, 2025 06:20
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.

1 participant