Skip to content

customizations: enhance menu customization docs #679

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

Merged
merged 2 commits into from
Jun 27, 2025

Conversation

fenekku
Copy link
Collaborator

@fenekku fenekku commented Jul 10, 2024

Retargeted #615 with some little improvements. Overall kudos go to @martinobersteiner .

Screenshot

docs-change-menus

@fenekku fenekku force-pushed the menu_customization_retarget branch from fd87c6f to 2e8274d Compare July 10, 2024 14:26
@fenekku
Copy link
Collaborator Author

fenekku commented Jul 10, 2024

I'll leave this around until tomorrow and then merge if no objections.

@fenekku
Copy link
Collaborator Author

fenekku commented Oct 17, 2024

Checking up on PRs before I go. This one could be merged, but it has pictures that are rendered so small that without an image preview plugin like #680 , the experience wouldn't be very good. I'll leave it as-is for now, but may comeback and merge it in at some point with or without the preview plugin.

@fenekku fenekku force-pushed the menu_customization_retarget branch from 2e8274d to f50a14f Compare June 27, 2025 15:03
@fenekku
Copy link
Collaborator Author

fenekku commented Jun 27, 2025

long time coming. Merging it now.

@fenekku fenekku merged commit db8250b into inveniosoftware:master Jun 27, 2025
1 check passed
@fenekku fenekku deleted the menu_customization_retarget branch June 27, 2025 15:04
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.

2 participants