diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-15 04:00:52 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-15 04:00:52 +0000 |
| commit | bc8be6bcdb7ea9b23cc6723769e6071a705cb88b (patch) | |
| tree | 48d36e0c6a367de2a28e43e69f85ab3d05ed2e67 /crates/ra_syntax/src/parsing/text_tree_sink.rs | |
| parent | 754d9d1a0c3551b01126e8e88d1fc3ff45ca695d (diff) | |
| parent | 896a162f5591f632ed457aa3a34335460755eb68 (diff) | |
Merge #2849
2849: Display vscode message after changing cargo-watch options r=edwin0cheng a=memoryruins
Currently, changed cargo-watch settings do not go into effect until after a reload.
This PR checks for changed `cargoWatchOptions` in the same way as the current `cargoFeatures` check.
Co-authored-by: memoryruins <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/parsing/text_tree_sink.rs')
0 files changed, 0 insertions, 0 deletions