Skip to content

Conversation

michaelnchin
Copy link
Member

Issue #, if available: N/A

Description of changes:

  • Fixed an issue with %seed where descriptions of some of the drop-down widgets were partially obscured.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

@michaelnchin michaelnchin merged commit 3e0989a into main Oct 5, 2023
@michaelnchin michaelnchin deleted the seed-descriptions-fix branch October 5, 2023 23:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Resolved

Development

Successfully merging this pull request may close these issues.

1 participant