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

Provide type hints for selected modules #393

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

Conversation

mataha
Copy link
Contributor

@mataha mataha commented Apr 29, 2023

This PR is a cherry-pick of another, yet unreleased PR (which I hope will amend #270).

Some modules (notably terminal and view) were slightly hard to work with, so I have attempted to provide reasonable type hints for them. This was done by hand (without using stubgen or anything of the sort), thus some hints could be narrower (and in turn way longer).

Also fixes a typo in terminal._start_rendering(): receieved -> received. That is the only functional change.

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