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

undo align #81

Merged
merged 7 commits into from
Aug 21, 2021
Merged

undo align #81

merged 7 commits into from
Aug 21, 2021

Conversation

arxanas
Copy link
Owner

@arxanas arxanas commented Aug 20, 2021

  • refactor(tui): implement ViewWrapper for custom views
  • feat(undo): add panels to UI
  • fix(undo): remove extra newline from events panel
  • fix(undo): wrap events panel in scroll view
  • fix(undo): use cursive_buffered_backend
  • feat(undo): update color for panel titles

@arxanas arxanas force-pushed the undo-align branch 4 times, most recently from 11599a6 to 4255c70 Compare August 20, 2021 18:01
Implementing `ViewWrapper` gives us `IntoBoxedView` for free, as well as some other things. It was necessary in order to use `cursive-aligned-view`. I didn't end up using `cursive-aligned-view`, but it's possible I'll use it for something else until the future, in which case this change will come in handy.
This significantly reduces flickering in the UI.
@arxanas arxanas merged commit 379fcbf into master Aug 21, 2021
@arxanas arxanas deleted the undo-align branch August 21, 2021 23:50
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