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

Fix some UI spacing issues #1147

Closed

Tracked by

Jaifroid opened this issue Nov 10, 2023 · 0 comments · Fixed by #1148

Closed

Tracked by

Fix some UI spacing issues #1147

Jaifroid opened this issue Nov 10, 2023 · 0 comments · Fixed by #1148

Assignees

Labels

Milestone

Member

Jaifroid commented Nov 10, 2023

Some of the UI elements are too crowded after merge of #1131. That should be fixed before release.

Jaifroid added the user interface label

Jaifroid added this to the v3.11 milestone

Jaifroid self-assigned this

This was referenced Nov 10, 2023

Release 3.11.0 #1143

Closed

Fix some UI spacing issues #1148

Merged

Jaifroid closed this as completed in #1148

Jaifroid added a commit that referenced this issue


          Fix some UI spacing issues #1147 (#1148)

e1903a3

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment