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

Add settings menu and command box #80

Open
Tracked by #58
jonathanzong opened this issue Jun 8, 2023 · 0 comments
Open
Tracked by #58

Add settings menu and command box #80

jonathanzong opened this issue Jun 8, 2023 · 0 comments
Assignees
@shulijones
Labels
2.0.0 things we want in the 2.0.0 release enhancement New feature or request umwelt blocker for umwelt integration

Comments

@jonathanzong
Copy link
Member

jonathanzong commented Jun 8, 2023 •
edited

initial implementation of settings menu and command box

can be with a basic UI, important part in this ticket is the functionality -- we can take more time to re-think the UI in #60
@jonathanzong jonathanzong mentioned this issue Jun 8, 2023
Open
5 tasks
@jonathanzong jonathanzong added the enhancement New feature or request label Jun 8, 2023
@jonathanzong jonathanzong added the 2.0.0 things we want in the 2.0.0 release label Jul 11, 2023
@jonathanzong jonathanzong added the umwelt blocker for umwelt integration label Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@shulijones shulijones

Labels
2.0.0 things we want in the 2.0.0 release enhancement New feature or request umwelt blocker for umwelt integration
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jonathanzong @shulijones