This repository was archived by the owner on Apr 14, 2022. It is now read-only.
This repository was archived by the owner on Apr 14, 2022. It is now read-only.
Some hover tooltips have a trailing two spaces #444
Closed
Description
Which aren't visual glitches, as I can highlight the text with my mouse (as above). It only happens for these simple one-liners. More complicated tooltips from docstrings don't seem to have this issue, likely because the text in these two examples is triple-quoted for syntax highlighting, while docstrings are not.