Skip to content

Commit 8f3e2dd

Browse files
committed
misc: Propagate titleFromHeading to parser settings
The setting is not used anywhere just yet. stack-info: PR: #368, branch: artempyanykh/stack/12
1 parent 8cdff48 commit 8f3e2dd

File tree

2 files changed

+8
-6
lines changed

2 files changed

+8
-6
lines changed

Marksman/Config.fs

+6-1
Original file line numberDiff line numberDiff line change
@@ -334,7 +334,12 @@ let defaultMarkdownExtensions =
334334

335335
type ParserSettings = {
336336
mdFileExt: string[]
337+
titleFromHeading: bool
337338
} with
338339

339-
static member OfConfig(config: Config) = { mdFileExt = config.CoreMarkdownFileExtensions() }
340+
static member OfConfig(config: Config) = {
341+
mdFileExt = config.CoreMarkdownFileExtensions()
342+
titleFromHeading = config.CoreTitleFromHeading()
343+
}
344+
340345
static member Default = ParserSettings.OfConfig(Config.Default)

Marksman/Folder.fs

+2-5
Original file line numberDiff line numberDiff line change
@@ -501,11 +501,8 @@ module Folder =
501501
let folderConfig = tryLoadFolderConfig folderId
502502
let folderConfig = Config.mergeOpt folderConfig userConfig
503503

504-
let configuredExts =
505-
(Option.defaultValue Config.Default folderConfig)
506-
.CoreMarkdownFileExtensions()
507-
508-
let parserSettings = { mdFileExt = configuredExts }
504+
let parserSettings =
505+
ParserSettings.OfConfig(Option.defaultValue Config.Default folderConfig)
509506

510507
let documents = loadDocs parserSettings folderId
511508

0 commit comments

Comments
 (0)