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

Navigation: typeset plugin not rendering tooltips for abbreviations #5165

Closed
4 tasks done
jonaharagon opened this issue Mar 7, 2023 · 4 comments
Closed
4 tasks done
Labels
bug Issue reports a bug resolved Issue is resolved, yet unreleased if open

Comments

@jonaharagon
Copy link
Sponsor

jonaharagon commented Mar 7, 2023

Context

No response

Bug description

Pretty minor thing, when the typeset plugin is enabled abbreviations are rendered in the TOC, but they don't use the improved tooltips that abbreviations in the content use:

Screenshot 2023-03-07 at 10 40 09@2x

Related links

Reproduction

Archive.zip

Steps to reproduce

  1. Enable improved tooltips, typeset plugin, and abbreviations
  2. Create sitewide glossary
  3. Use abbreviation from glossary in page heading

Browser

No response

Before submitting

@squidfunk squidfunk added the bug Issue reports a bug label Mar 7, 2023
@squidfunk
Copy link
Owner

Thanks for reporting. As always, we're more than happy to look into it. However, please use the built-in info plugin in the future. We're missing essential version and runtime information from your report. Thank you!

@jonaharagon
Copy link
Sponsor Author

Oh, that is quite handy.

example.zip

@squidfunk squidfunk changed the title Abbreviation in typeset TOC doesn't use improved tooltips Navigation: typeset plugin not rendering tooltips for abbreviations Aug 10, 2023
@squidfunk
Copy link
Owner

Fixed in e02ab72! I'm very sorry it took so long.

@squidfunk squidfunk added the resolved Issue is resolved, yet unreleased if open label Apr 25, 2024
@squidfunk
Copy link
Owner

Released as part of 9.5.19+insiders-4.53.8.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue reports a bug resolved Issue is resolved, yet unreleased if open
Projects
None yet
Development

No branches or pull requests

2 participants