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

Add tooltips to the search and theme buttons. #2539

Merged
merged 1 commit into from
Feb 12, 2024

Conversation

ZeroCool940711
Copy link
Contributor

This PR is small and simple, it just adds tooltips to the search and theme buttons on the website. The tooltip for the theme button explains that you can cycles through the dark, light, and system/auto theme modes while the tooltip for the search button explains that pressing Ctrl+K or Ctrl+/ opens the documentation search dialog.

@rodja rodja added the documentation Improvements or additions to documentation label Feb 12, 2024
@rodja rodja added this to the 1.4.16 milestone Feb 12, 2024
@rodja
Copy link
Member

rodja commented Feb 12, 2024

Thanks for this small but very nice addition to the website.

@rodja rodja merged commit cac2d6f into zauberzeug:main Feb 12, 2024
1 check passed
@ZeroCool940711 ZeroCool940711 deleted the website_improvements branch February 12, 2024 21:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants