diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-26 08:20:56 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-26 08:20:56 +0100 |
| commit | dbb2c153ffad541474f2e5c7c7bd7ea93cf68f5f (patch) | |
| tree | 7a79d631ba9ed42ad0d6a1133c54976a65c82760 /docs/dev | |
| parent | 76fa498d6c69a8c26f074b15178256041bb53675 (diff) | |
| parent | a047f10839d64813213c70ed60c37c0a99f232b2 (diff) | |
Merge #4617
4617: Hover tooltip module name is monospace once again r=matklad a=aloucks
The line separator is also moved below the function signature to split regions between the docs. This is very similar to how IntelliJ displays tooltips. Adding an additional separator between the module name and function signature currently has rendering issues.
Fixes #4594
Alternative to #4615
@kjeremy @Veetaha
Note that I have semantic coloring disabled so ignore any differences due to that.
Co-authored-by: Aaron Loucks <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions