Skip to content

[25.0] Fix inconsistent header sizes #20277

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
Merged
merged 3 commits into from
May 17, 2025
Merged

[25.0] Fix inconsistent header sizes #20277

merged 3 commits into from
May 17, 2025

Conversation

guerler
Copy link
Contributor

@guerler guerler commented May 17, 2025

This PR fixes inconsistent header sizes ranging from "xl" to "md", consolidated to "lg".

How to test the changes?

(Select all options that apply)

  • I've included appropriate automated tests.
  • This is a refactoring of components with existing test coverage.
  • Instructions for manual testing are as follows:
    1. [add testing steps and prerequisites here if you didn't write automated tests covering all your changes]

License

  • I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

@github-actions github-actions bot changed the title [25.0] Fix inconsistent header sizes Fix inconsistent header sizes May 17, 2025
@guerler guerler marked this pull request as ready for review May 17, 2025 20:50
@github-actions github-actions bot added this to the 25.1 milestone May 17, 2025
@guerler guerler changed the base branch from dev to release_25.0 May 17, 2025 20:50
@guerler guerler changed the title Fix inconsistent header sizes [25.0] Fix inconsistent header sizes May 17, 2025
@guerler guerler requested a review from ahmedhamidawan May 17, 2025 20:52
ahmedhamidawan
ahmedhamidawan approved these changes May 17, 2025
View reviewed changes
Copy link
Member

@ahmedhamidawan ahmedhamidawan left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me! Thanks!

@ahmedhamidawan ahmedhamidawan merged commit 7e9cf09 into galaxyproject:release_25.0 May 17, 2025
37 checks passed
@ahmedhamidawan ahmedhamidawan modified the milestones: 25.1, 25.0 Jun 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ahmedhamidawan ahmedhamidawan ahmedhamidawan approved these changes

Assignees
No one assigned
Labels
area/UI-UX kind/bug
Projects
None yet
Milestone
25.0
Development

Successfully merging this pull request may close these issues.
2 participants
@guerler @ahmedhamidawan