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

Fix issues with profile setting dialog #49

Merged
merged 1 commit into from
Dec 1, 2024
Merged

Conversation

pganssle
Copy link
Owner

@pganssle pganssle commented Dec 1, 2024

  1. More gracefully handle the situation where we get into an illegal state where the profile ID corresponds to a deleted or otherwise non-existent profile.
  2. Switch the profile adder / settings adjuster dialogue away from being an infobox, so now the only way to toggle it is with the X or one of the buttons.
  3. Make it so that you fall back to the guest profile when a profile is deleted.
  4. Various fixes related to visibility of the profile settings adder / adjuster in different scenarios.

1. More gracefully handle the situation where we get into an illegal
   state where the profile ID corresponds to a deleted or otherwise
   non-existent profile.
2. Switch the profile adder / settings adjuster dialogue away from being
   an infobox, so now the only way to toggle it is with the X or one of
   the buttons.
3. Make it so that you fall back to the guest profile when a profile is
   deleted.
4. Various fixes related to visibility of the profile settings adder /
   adjuster in different scenarios.
@pganssle pganssle merged commit 567811b into main Dec 1, 2024
2 checks passed
@pganssle pganssle deleted the fix_profile_settings branch December 1, 2024 22:26
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