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.

Sign up for GitHub

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

Jump to bottom

Fix option typing #194

Open
IanMitchell opened this issue Oct 16, 2022 · 0 comments
Open

Fix option typing #194

IanMitchell opened this issue Oct 16, 2022 · 0 comments
Labels
Bug Problems with the framework or website
Milestone
Beta 3

Comments

@IanMitchell
Copy link
Owner

It's possible to correctly type interaction handler option lists. We should fix our current system and do that!
@IanMitchell IanMitchell added the Bug Problems with the framework or website label Oct 16, 2022
@IanMitchell IanMitchell added this to the Beta 3 milestone Oct 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Bug Problems with the framework or website
Projects
None yet
Milestone
Beta 3
Development

No branches or pull requests
1 participant
@IanMitchell