rename git.untrackedChanges: default to mixed

This commit is contained in:
Joao Moreno
2019-10-28 10:35:50 +01:00
parent 363647b245
commit ad6011cb7a
4 changed files with 20 additions and 20 deletions

View File

@@ -915,8 +915,8 @@ export class CommandCenter {
}
const config = workspace.getConfiguration('git', Uri.file(repository.root));
const untrackedChanges = config.get<'default' | 'separate' | 'hidden'>('untrackedChanges');
await repository.add([], untrackedChanges === 'default' ? undefined : { update: true });
const untrackedChanges = config.get<'mixed' | 'separate' | 'hidden'>('untrackedChanges');
await repository.add([], untrackedChanges === 'mixed' ? undefined : { update: true });
}
private async _stageDeletionConflict(repository: Repository, uri: Uri): Promise<void> {
@@ -1421,7 +1421,7 @@ export class CommandCenter {
opts.all = 'tracked';
}
if (opts.all && config.get<'default' | 'separate' | 'hidden'>('untrackedChanges') !== 'default') {
if (opts.all && config.get<'mixed' | 'separate' | 'hidden'>('untrackedChanges') !== 'mixed') {
opts.all = 'tracked';
}