Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2024-12-27 05:23:24 +00:00
Code Issues Projects Releases Packages Wiki Activity

Display vscode message after changing cargo-watch options

Browse source
This commit is contained in:
memoryruins 2020-01-14 20:52:48 -05:00
parent 754d9d1a0c
commit edb820c329
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
editors/code/src/config.ts
View file

@ -42,6 +42,7 @@ export class Config {
private prevEnhancedTyping: null | boolean = null; private prevEnhancedTyping: null | boolean = null;
private prevCargoFeatures: null | CargoFeatures = null; private prevCargoFeatures: null | CargoFeatures = null;
private prevCargoWatchOptions: null | CargoWatchOptions = null;
constructor(ctx: vscode.ExtensionContext) { constructor(ctx: vscode.ExtensionContext) {
vscode.workspace.onDidChangeConfiguration(_ => this.refresh(), ctx.subscriptions); vscode.workspace.onDidChangeConfiguration(_ => this.refresh(), ctx.subscriptions);
@ -173,6 +174,24 @@ export class Config {
requireReloadMessage = 'Changing cargo features requires a reload'; requireReloadMessage = 'Changing cargo features requires a reload';
} }
this.prevCargoFeatures = { ...this.cargoFeatures }; this.prevCargoFeatures = { ...this.cargoFeatures };
if (
this.prevCargoWatchOptions !== null &&
(this.cargoWatchOptions.enable !==
this.prevCargoWatchOptions.enable ||
this.cargoWatchOptions.command !==
this.prevCargoWatchOptions.command ||
this.cargoWatchOptions.allTargets !==
this.prevCargoWatchOptions.allTargets ||
this.cargoWatchOptions.arguments.length !==
this.prevCargoWatchOptions.arguments.length ||
this.cargoWatchOptions.arguments.some(
(v, i) => v !== this.prevCargoWatchOptions!.arguments[i],
))
) {
requireReloadMessage = 'Changing cargo-watch options requires a reload';
}
this.prevCargoWatchOptions = { ...this.cargoWatchOptions };
if (requireReloadMessage !== null) { if (requireReloadMessage !== null) {
const reloadAction = 'Reload now'; const reloadAction = 'Reload now';