From f08f79c78dee9feb1c3c515fd044628da4f7265f Mon Sep 17 00:00:00 2001 From: andys8 Date: Sat, 20 Feb 2021 01:38:38 +0100 Subject: [PATCH] Plugin Config: Add maxCompletions to JSON instance It was likely forgotten to add in this change: --- hls-plugin-api/src/Ide/Plugin/Config.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/hls-plugin-api/src/Ide/Plugin/Config.hs b/hls-plugin-api/src/Ide/Plugin/Config.hs index 9ae6ac16e5..216c8604c6 100644 --- a/hls-plugin-api/src/Ide/Plugin/Config.hs +++ b/hls-plugin-api/src/Ide/Plugin/Config.hs @@ -117,6 +117,7 @@ instance A.ToJSON Config where , "completionSnippetsOn" .= completionSnippetsOn , "formatOnImportOn" .= formatOnImportOn , "formattingProvider" .= formattingProvider + , "maxCompletions" .= maxCompletions , "plugin" .= plugins ]