Register Fourmolu plugin properties (#3284)

georgefst · michaelpj · web-flow · commit 55456fb281ed · 2022-10-12T12:15:05.000Z
Co-authored-by: Michael Peyton Jones &lt;me@michaelpj.com&gt;
diff --git a/plugins/hls-fourmolu-plugin/src/Ide/Plugin/Fourmolu.hs b/plugins/hls-fourmolu-plugin/src/Ide/Plugin/Fourmolu.hs
@@ -43,6 +43,7 @@ descriptor :: Recorder (WithPriority LogEvent) -> PluginId -> PluginDescriptor I
 descriptor recorder plId =
     (defaultPluginDescriptor plId)
         { pluginHandlers = mkFormattingHandlers $ provider recorder plId
+        , pluginConfigDescriptor = defaultConfigDescriptor{configCustomConfig = mkCustomConfig properties}
         }
 
 properties :: Properties '[ 'PropertyKey "external" 'TBoolean]

Original file line number	Diff line number	Diff line change
`@@ -43,6 +43,7 @@ descriptor :: Recorder (WithPriority LogEvent) -> PluginId -> PluginDescriptor I`
`43`	`43`	`descriptor recorder plId =`
`44`	`44`	`(defaultPluginDescriptor plId)`
`45`	`45`	`{ pluginHandlers = mkFormattingHandlers $ provider recorder plId`
	`46`	`+ , pluginConfigDescriptor = defaultConfigDescriptor{configCustomConfig = mkCustomConfig properties}`
`46`	`47`	`}`
`47`	`48`
`48`	`49`	`properties :: Properties '[ 'PropertyKey "external" 'TBoolean]`