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

Share URL UI #142

Merged
merged 9 commits into from
Jan 14, 2024
Merged

Share URL UI #142

merged 9 commits into from
Jan 14, 2024

Conversation

brentyi
Copy link
Collaborator

@brentyi brentyi commented Dec 12, 2023

First-class UI support for share URLs.

Making a PR to track progress...

  • UI prototype.
  • Share URL message types, zustand integration, etc.
  • API for configuring server list.
  • Server + connection status checks.

image
image
image

@brentyi
Copy link
Collaborator Author

brentyi commented Jan 14, 2024

Screen.Recording.2024-01-14.at.1.33.37.AM.mov

@brentyi brentyi force-pushed the brent/share_url_ui branch from 2b656ad to 724b920 Compare January 14, 2024 11:59
@brentyi brentyi marked this pull request as ready for review January 14, 2024 23:48
@brentyi brentyi merged commit e7d7560 into main Jan 14, 2024
@brentyi brentyi deleted the brent/share_url_ui branch January 14, 2024 23:48
yzslab pushed a commit to yzslab/viser that referenced this pull request Oct 20, 2024
* Mockup for share URL UI

* Working share URL UI

* Cleanup

* Address mypy errors

* Visual tweaks, gzip HTTP responses

* Tweaks
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