diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-10 10:55:58 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-10 10:55:58 +0100 |
commit | f3336509e52187a7a70a8043557a7317872e3a2f (patch) | |
tree | d9eb3f88c60add9d7bfc050c8fb52f2033e238cb /.gitattributes | |
parent | 7a03f05eac4ff1e9ca4ceeced54ce06892bd30b8 (diff) | |
parent | 958b91c1e8394129216d1b8378d726f937592d3f (diff) |
Merge #5698
5698: Display the value of a const on the hover r=jonas-schievink a=JmPotato
Signed-off-by: JmPotato <[email protected]>
Close #4051
To display the value of a const, I modified the implementation of `ShortLabel` for `ast::Const`.
Co-authored-by: JmPotato <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions