fix didChangeConfiguration event not firing

Jan Jurzitza · Jan Jurzitza · commit 76fdffb02a24 · 2020-11-26T23:20:40.000+01:00
diff --git a/source/served/extension.d b/source/served/extension.d
@@ -232,7 +232,7 @@ void changedConfig(string workspaceUri, string[] paths, served.types.Configurati
 			" changes in ", sw.peek, ".");
 }
 
-@protocolNotification("workspace/didChangeWorkspaceFolders")
+@protocolNotification("workspace/didChangeConfiguration")
 void didChangeConfiguration(DidChangeConfigurationParams params)
 {
 	processConfigChange(params.settings.parseConfiguration);

Original file line number	Diff line number	Diff line change
`@@ -232,7 +232,7 @@ void changedConfig(string workspaceUri, string[] paths, served.types.Configurati`
`232`	`232`	`" changes in ", sw.peek, ".");`
`233`	`233`	`}`
`234`	`234`
`235`		`-@protocolNotification("workspace/didChangeWorkspaceFolders")`
	`235`	`+@protocolNotification("workspace/didChangeConfiguration")`
`236`	`236`	`void didChangeConfiguration(DidChangeConfigurationParams params)`
`237`	`237`	`{`
`238`	`238`	`processConfigChange(params.settings.parseConfiguration);`