diff --git a/Extension/src/LanguageServer/settings.ts b/Extension/src/LanguageServer/settings.ts index 48e154856..a66a97c50 100644 --- a/Extension/src/LanguageServer/settings.ts +++ b/Extension/src/LanguageServer/settings.ts @@ -142,7 +142,7 @@ export interface SettingsParams { maxConcurrentThreads: number | null | undefined; maxCachedProcesses: number | null | undefined; maxMemory: number | null | undefined; - maxSymbolSearchResults: number | null | undefined; + maxSymbolSearchResults: number | undefined; loggingLevel: string | undefined; workspaceParsingPriority: string | undefined; workspaceSymbols: string | undefined;