diff options
| author | John MacFarlane <[email protected]> | 2023-03-20 11:41:59 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-20 11:41:59 -0700 |
| commit | 01dd910d9ac18264b66c4a26cb7fe3f17248a430 (patch) | |
| tree | da18039c38ab2e22a60be479a0e6082bce8a13e9 /src | |
| parent | df9418c819fa04cb4c4f710458519ce3466fcb80 (diff) | |
HTML writer: Remove redundant `nubOrd`.
Now that we're doing `nubOrd` on classes at the end (when changing
pandoc attributes to HTML attributes), we don't need to do it here.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Writers/HTML.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Writers/HTML.hs b/src/Text/Pandoc/Writers/HTML.hs index 0f296c3e3..bbdbbc0ba 100644 --- a/src/Text/Pandoc/Writers/HTML.hs +++ b/src/Text/Pandoc/Writers/HTML.hs @@ -814,8 +814,7 @@ blockToHtmlInner opts (Div (ident, "section":dclasses, dkvs) stEmittedNotes = stEmittedNotes st' + length notes }) return (res <> renderedNotes) else return res - let classes' = nubOrd $ - ["title-slide" | titleSlide] ++ ["slide" | slide] ++ + let classes' = ["title-slide" | titleSlide] ++ ["slide" | slide] ++ ["section" | (slide || writerSectionDivs opts) && not html5 ] ++ ["level" <> tshow level | slide || writerSectionDivs opts ] |