Skip to content

2020-08-10

Choose a tag to compare

View all tags
@github-actions github-actions released this 10 Aug 13:40
· 24947 commits to master since this release
2020-08-10
f333650
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
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]>
Assets 9
Loading