diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-21 10:34:58 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-21 10:34:58 +0000 |
commit | db1bbb11fbe85a5230452359e80535a2169d0929 (patch) | |
tree | a6570ab4e6691853804a71598135f5541723f691 /editors/code/src/highlighting.ts | |
parent | 88014fcec04721350abc156efb1e18889fca5255 (diff) | |
parent | 319a09847b47086b73ea7184ee39b3be0b924c60 (diff) |
Merge #3247
3247: Improve RA version display r=matklad a=edwin0cheng
There are 2 problems of current implementation for displaying current version of RA binary:
1. If that binary is coming from built by source, the `REV` may not be updated somehow. (See discussion in [Zuilp](https://rust-lang.zulipchat.com/#narrow/stream/185405-t-compiler.2Fwg-rls-2.2E0/topic/vscode.20version.20in.20console))
2. We must go through the VSCode debugger console to see the output of `console.log`.
This PR implemented a new VSCode command "Show RA Version" to display the version, which fixed the first problem. And added some `rerun-if` flags in `build.rs` to fix the second one.
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'editors/code/src/highlighting.ts')
0 files changed, 0 insertions, 0 deletions