From b6d07fc104395fc728dfcfb0a7abedc11938c150 Mon Sep 17 00:00:00 2001
From: Artem Pyanykh <artem.pyanykh@gmail.com>
Date: Fri, 22 Nov 2024 22:54:19 +0000
Subject: [PATCH] misc: Propagate titleFromHeading to parser settings

The setting is not used anywhere just yet.
---
 Marksman/Config.fs | 3 ++-
 Marksman/Folder.fs | 7 ++-----
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/Marksman/Config.fs b/Marksman/Config.fs
index d362d99..a1f9cc8 100644
--- 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
index 9b85ce5..de5e0d9 100644
--- 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