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