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

chore(examples): refactor some examples #578

Merged
merged 2 commits into from
Oct 20, 2023
Merged

Conversation

rhysd
Copy link
Contributor

@rhysd rhysd commented Oct 20, 2023

This PR improves some examples a bit.

  • The combination of Duration::checked_sub and Option::unwrap_or_else calls can be simplified with single Duration::saturating_sub call.
  • Errors from poll_input should not be ignored in termwiz support example.

@rhysd rhysd force-pushed the improve-examples branch 2 times, most recently from 869fc15 to c3369b7 Compare October 20, 2023 18:16
@codecov
Copy link

codecov bot commented Oct 20, 2023

Codecov Report

Merging #578 (82465f1) into main (0c52ff4) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #578   +/-   ##
=======================================
  Coverage   89.56%   89.56%           
=======================================
  Files          41       41           
  Lines       11570    11570           
=======================================
  Hits        10363    10363           
  Misses       1207     1207           

@orhun orhun changed the title chore(examples): Refactor some examples chore(examples): refactor some examples Oct 20, 2023
@orhun orhun merged commit 6cbdb06 into ratatui:main Oct 20, 2023
33 checks passed
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