misc: Propagate titleFromHeading to parser settings

The setting is not used anywhere just yet.
artempyanykh · Nov 22, 2024 · b6d07fc · b6d07fc
1 parent 68957b0
commit b6d07fc
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/Marksman/Config.fs b/Marksman/Config.fs
@@ -334,7 +334,8 @@ let defaultMarkdownExtensions =
 
 type ParserSettings = {
     mdFileExt: string[]
+    titleFromHeading: bool
 } with
 
-    static member OfConfig(config: Config) = { mdFileExt = config.CoreMarkdownFileExtensions() }
+    static member OfConfig(config: Config) = { mdFileExt = config.CoreMarkdownFileExtensions(); titleFromHeading = config.CoreTitleFromHeading() }
     static member Default = ParserSettings.OfConfig(Config.Default)
diff --git a/Marksman/Folder.fs b/Marksman/Folder.fs
@@ -501,11 +501,8 @@ module Folder =
             let folderConfig = tryLoadFolderConfig folderId
             let folderConfig = Config.mergeOpt folderConfig userConfig
 
-            let configuredExts =
-                (Option.defaultValue Config.Default folderConfig)
-                    .CoreMarkdownFileExtensions()
-
-            let parserSettings = { mdFileExt = configuredExts }
+            let parserSettings =
+                ParserSettings.OfConfig(Option.defaultValue Config.Default folderConfig)
 
             let documents = loadDocs parserSettings folderId