diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-26 07:20:56 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-26 07:20:56 +0000 |
| commit | dbb2c153ffad541474f2e5c7c7bd7ea93cf68f5f (patch) | |
| tree | 7a79d631ba9ed42ad0d6a1133c54976a65c82760 /docs/dev | |
| parent | 76fa498d6c69a8c26f074b15178256041bb53675 (diff) | |
| parent | a047f10839d64813213c70ed60c37c0a99f232b2 (diff) | |
| download | rust-dbb2c153ffad541474f2e5c7c7bd7ea93cf68f5f.tar.gz rust-dbb2c153ffad541474f2e5c7c7bd7ea93cf68f5f.zip | |
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 <aloucks@cofront.net>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions