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

Various polishing around the product #2427

Merged
merged 22 commits into from
Jun 25, 2024
Merged

Various polishing around the product #2427

merged 22 commits into from
Jun 25, 2024

Conversation

benjaminvo
Copy link
Contributor

@benjaminvo benjaminvo commented Jun 24, 2024

This PR polishes various things around the product. Some of this could probably have been split up into separate PRs, but here we are.

The commit history explains the individual changes, but these are some of the main things to highlight:

  • Header updates with new logo, blue share button in the viewer, more...
  • Shadows on buttons and a gray border on the secondary button which makes it much easier to see.
  • Dialogs look better including the new project dialog
  • Fixed annoying spacing issue on some props in the selection info panel
  • Better hide/isolate button states in the selection info panel
  • Updates to icons. Removed some, some are smaller.
  • Minor copy updates in various places.
  • And other little things that few people will notice (but makes me 10% happier at work).

Some screenshots

CleanShot 2024-06-24 at 23 29 19@2x
CleanShot 2024-06-24 at 23 45 58@2x
CleanShot 2024-06-24 at 23 32 18@2x
CleanShot 2024-06-24 at 23 28 51@2x
CleanShot 2024-06-24 at 23 28 32@2x

@benjaminvo benjaminvo merged commit fc76fd9 into main Jun 25, 2024
21 of 23 checks passed
@benjaminvo benjaminvo deleted the various-polishing branch June 25, 2024 12:43
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.

2 participants