diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-13 14:23:57 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:08 +0100 |
commit | ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3 (patch) | |
tree | 0a9feeb093237e6bb6ff7b73f223cefcb4823bbc /doc-tool/src/dotty/tools | |
parent | eeeada2083dead6ef15c2c45e4158fa677b8ec02 (diff) | |
download | dotty-ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3.tar.gz dotty-ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3.tar.bz2 dotty-ae89a7a1e067c3e7dde7d5fc8a8a016689f0b9e3.zip |
fix extensions not getting loaded properly
Diffstat (limited to 'doc-tool/src/dotty/tools')
-rw-r--r-- | doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala index d190eea88..a2dad5315 100644 --- a/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala +++ b/doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala @@ -5,14 +5,18 @@ package staticsite import java.nio.file.{ Files, FileSystems } import java.nio.file.StandardCopyOption.REPLACE_EXISTING import java.io.{ File => JFile } -import java.util.{ List => JList, Map => JMap, Collections => JCollections } +import java.util.{ List => JList, Map => JMap, Arrays } import java.nio.file.Path import java.io.ByteArrayInputStream import java.nio.charset.StandardCharsets import com.vladsch.flexmark.parser.ParserEmulationFamily import com.vladsch.flexmark.parser.Parser -import com.vladsch.flexmark.ext.tables.TablesExtension +import com.vladsch.flexmark.ext.gfm.tables.TablesExtension +import com.vladsch.flexmark.ext.gfm.strikethrough.StrikethroughExtension +import com.vladsch.flexmark.ext.gfm.tasklist.TaskListExtension +import com.vladsch.flexmark.ext.emoji.EmojiExtension +import com.vladsch.flexmark.ext.autolink.AutolinkExtension import com.vladsch.flexmark.ext.front.matter.YamlFrontMatterExtension import com.vladsch.flexmark.util.options.{ DataHolder, MutableDataSet } @@ -340,6 +344,12 @@ object Site { val markdownOptions: DataHolder = new MutableDataSet() .setFrom(ParserEmulationFamily.KRAMDOWN.getOptions) - .set(Parser.EXTENSIONS, JCollections.singleton(TablesExtension.create())) - .set(Parser.EXTENSIONS, JCollections.singleton(YamlFrontMatterExtension.create())) + .set(Parser.EXTENSIONS, Arrays.asList( + TablesExtension.create(), + TaskListExtension.create(), + AutolinkExtension.create(), + EmojiExtension.create(), + YamlFrontMatterExtension.create(), + StrikethroughExtension.create() + )) } |