development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-10-13 14:57:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #55598

Browse source
This commit is contained in:
Rob Lourens 2018-08-01 11:44:37 -07:00
parent e69e4d3a47
commit adf837e769
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/vs/vscode.proposed.d.ts vendored
View file

@ -70,18 +70,18 @@ declare module 'vscode' {
* Whether external files that exclude files, like .gitignore, should be respected.
* See the vscode setting `"search.useIgnoreFiles"`.
*/
useIgnoreFiles?: boolean;
useIgnoreFiles: boolean;
/**
* Whether symlinks should be followed while searching.
* See the vscode setting `"search.followSymlinks"`.
*/
followSymlinks?: boolean;
followSymlinks: boolean;
/**
* The maximum number of results to be returned.
*/
maxResults?: number;
maxResults: number;
}
/**