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.

Sign up for GitHub

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

Jump to bottom

TUI #8429

Merged
merged 3 commits into from
Aug 23, 2023
Merged

TUI #8429

merged 3 commits into from
Aug 23, 2023

Commits on Aug 23, 2023

  1. chore: update pp 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter @rgrinberg
    Alizter authored and rgrinberg committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    df43217 View commit details
    Browse the repository at this point in the history

  2. chore: vendor lwd 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter @rgrinberg
    Alizter authored and rgrinberg committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    7c623f9 View commit details
    Browse the repository at this point in the history

  3. tui: add more features 

    We add more features to Dune's TUI. Using Lwd and Nottui we expand on
the Notty TUI by creating an interactive UI for dune_console.

- The user can now view all the messages and scroll in the console.
- Each message can be minimized or expanded by clicking.
- There is a help screen showing which buttons can be pressed.
- The build status is printed in a status bar at the top.
- And more.

Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter @rgrinberg
    Alizter authored and rgrinberg committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    d4d7c00 View commit details
    Browse the repository at this point in the history