remove default value for overrideName

This commit is contained in:
Megan Rogge 2021-03-25 17:56:53 +00:00 committed by GitHub
parent 7ac7d4438a
commit a30b6bfdc3

View file

@ -30,8 +30,7 @@ const terminalProfileSchema: IJSONSchema = {
},
overrideName: {
description: localize('terminalProfile.overrideName', 'Controls whether or not the profile name overrides the auto detected one.'),
type: 'boolean',
default: false
type: 'boolean'
}
}
};
@ -143,8 +142,7 @@ export const terminalConfiguration: IConfigurationNode = {
},
overrideName: {
description: localize('terminalProfile.overrideName', 'Controls whether or not the profile name overrides the auto detected one.'),
type: 'boolean',
default: false
type: 'boolean'
}
}
},