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

TUI (no nottui) #8430

Closed
wants to merge 12 commits into from
Closed

TUI (no nottui) #8430

wants to merge 12 commits into from

Conversation

Alizter
Copy link
Collaborator

@Alizter Alizter commented Aug 19, 2023

This WIP is an alternative to #8429 that doesn't use the nottui additions that were included there.

This is based on notty and we have basic GUI components like pop-up dialogues, scroll bars etc.

There are some issues with this such as resizing causing crashes that need to be resolved.

Signed-off-by: Ali Caglayan <[email protected]>
Signed-off-by: Ali Caglayan <[email protected]>
The help screen can be toggled on and off.

The scroll bars appear when the main text is cut off in the horizontal
or vertical directions. They can be interacted with using the arrow
keys, j and k and using the mouse. The mouse can scroll and click on
them.

Added a utility to provide debug info, which can be useful determining
the state of the UI. It can be activated using 'd'.

Signed-off-by: Ali Caglayan <[email protected]>
We improve the logic for scroll handling. Notably now the arrow buttons
on the scroll bars work.

We also make many of the used style attrubutes internally configurable
and fix any styles biased to a dark background.

There are various cleanups for the drawing of the top frame, including
making the debug info menu a proper overlay rather than just appending
to the end.

Signed-off-by: Ali Caglayan <[email protected]>
Signed-off-by: Ali Caglayan <[email protected]>
Signed-off-by: Ali Caglayan <[email protected]>
let start () = Unix.set_nonblock Unix.stdin
let term_input_fds, _ = Term.fds (term ())

let start () = Unix.set_nonblock term_input_fds
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's wrong. You can't do that anymore

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That snuck in during rebase, shouldn't be there.

@rgrinberg rgrinberg closed this Aug 22, 2023
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.

2 participants