aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-01-15 04:00:52 +0000
committerGitHub <[email protected]>2020-01-15 04:00:52 +0000
commitbc8be6bcdb7ea9b23cc6723769e6071a705cb88b (patch)
tree48d36e0c6a367de2a28e43e69f85ab3d05ed2e67 /.github
parent754d9d1a0c3551b01126e8e88d1fc3ff45ca695d (diff)
parent896a162f5591f632ed457aa3a34335460755eb68 (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. ![2020-01-14_20-52-20](https://user-images.githubusercontent.com/6868531/72398362-b5f5a300-3710-11ea-9bc1-9943bef08447.gif) Co-authored-by: memoryruins <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions