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

Fix traitlets typing #7082

Merged
merged 1 commit into from Oct 3, 2023
Merged

Fix traitlets typing #7082

merged 1 commit into from Oct 3, 2023

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Oct 2, 2023

Fixes #7081

@jtpio jtpio added this to the 7.0.x milestone Oct 2, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Oct 2, 2023

Binder 👈 Launch a Binder on branch jtpio/notebook/fix-lint


from ._version import __version__

HERE = os.path.dirname(__file__)

Flags = t.Dict[t.Union[str, t.Tuple[str, ...]], t.Tuple[t.Union[t.Dict[str, t.Any], Config], str]]
Copy link
Member Author

Choose a reason for hiding this comment

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

cc @blink1073

Wondering if there would be a better / simpler way to handle this in downstream apps?

Copy link
Member

Choose a reason for hiding this comment

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

I'm working on making them just dict[str, Any] in Application and JupyterApp, rather than trying to be more specific. https://github.com/ipython/traitlets/pull/873/files#diff-5453d413070d06bcf7ba7f017b9cf364e774627fad69964a6471449e5c16dc37R371

Copy link
Member Author

Choose a reason for hiding this comment

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

ok thanks!

Copy link
Member

@blink1073 blink1073 left a comment

Choose a reason for hiding this comment

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

LGTM!

@jtpio jtpio merged commit 46fed87 into jupyter:main Oct 3, 2023
33 of 34 checks passed
@jtpio jtpio deleted the fix-lint branch October 3, 2023 06:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Failing lint check with the latest traitlets
2 participants