Generate temp files as not dirty (#3698)

* Generate temp files as not dirty

* Remove whitespace
This commit is contained in:
Karl Burtram
2019-01-10 12:51:41 -08:00
committed by GitHub
parent 1f447ae681
commit a0d84f383c
5 changed files with 25 additions and 7 deletions

View File

@@ -346,6 +346,11 @@ let registryProperties = {
'description': localize('showConnectionInfoInTitle', "Controls whether to show the connection info for a tab in the title."),
'default': true
},
'sql.promptToSaveGeneratedFiles': {
'type': 'boolean',
'default': false,
'description': localize('sql.promptToSaveGeneratedFiles', 'Prompt to save generated SQL files')
},
'mssql.intelliSense.enableIntelliSense': {
'type': 'boolean',
'default': true,
@@ -413,6 +418,3 @@ configurationRegistry.registerConfiguration({
'type': 'object',
'properties': registryProperties
});