This repository was archived by the owner on Jul 16, 2024. It is now read-only.

Better UserInput Display #74

Open

nichujie opened this issue Jan 7, 2022 · 1 comment

Assignees

Labels

WIP

Contributor

nichujie commented Jan 7, 2022

nichujie assigned hilbert-yaa

nichujie added the WIP label

Contributor Author

nichujie commented Feb 1, 2023

Tooltip for user already added

nichujie assigned nichujie and unassigned hilbert-yaa

nichujie assigned wznmickey

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.