From c35aca77ffc762e515c90dd4f28462be8c9ec56c Mon Sep 17 00:00:00 2001 From: garrett serack Date: Fri, 22 Mar 2024 07:28:08 -0700 Subject: [PATCH] remove unnecessary null --- Extension/src/LanguageServer/settings.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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;