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

Hide toolbar when no content available #983

Merged
merged 1 commit into from
Oct 8, 2023
Merged

Hide toolbar when no content available #983

merged 1 commit into from
Oct 8, 2023

Conversation

mjauvin
Copy link
Member

@mjauvin mjauvin commented Oct 7, 2023

This PR gives more flexibility to the Toolbar widget by hiding missing sections completely or hiding the whole Toolbar if neither the controlPanel nor the search sections are defined.

So, for example, if no buttons are defined for the toolbar but a search is defined, it would look something like this:
image

If both are defined, it looks like this (current behavior):
image

And if none are defined:
image

@mjauvin mjauvin added maintenance PRs that fix bugs, are translation changes or make only minor changes needs review Issues/PRs that require a review from a maintainer labels Oct 7, 2023
@mjauvin mjauvin added this to the v1.2.4 milestone Oct 7, 2023
@mjauvin mjauvin self-assigned this Oct 7, 2023
@LukeTowers LukeTowers added Status: Completed and removed needs review Issues/PRs that require a review from a maintainer labels Oct 8, 2023
@LukeTowers LukeTowers changed the title Make Toolbar widget partial more flexible Hide toolbar when no content available Oct 8, 2023
@LukeTowers LukeTowers merged commit 2bd7cf2 into develop Oct 8, 2023
12 checks passed
@LukeTowers LukeTowers deleted the toolbar branch October 8, 2023 08:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance PRs that fix bugs, are translation changes or make only minor changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants