diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-04-08 18:20:05 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-04-08 18:20:56 -0700 |
| commit | 813f3d5dd483eb968ddfce310e95844d289d124b (patch) | |
| tree | 19c8870cd540029678eed4f0e01920a94732825c /src | |
| parent | 7fb74b74df705742001ca583c4070b29e61ea275 (diff) | |
Shared.taskListItemToAscii: handle asciidoctor's characters.
Asciidoctor uses different unicode characters for task
lists; we should recognize them too and be able to convert
them to ascii task lists in formats like gfm.
Closes #8011.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/Shared.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Shared.hs b/src/Text/Pandoc/Shared.hs index 95a422287..0956ee03e 100644 --- a/src/Text/Pandoc/Shared.hs +++ b/src/Text/Pandoc/Shared.hs @@ -682,6 +682,8 @@ taskListItemToAscii = handleTaskListItem toMd where toMd (Str "☐" : Space : is) = rawMd "[ ]" : Space : is toMd (Str "☒" : Space : is) = rawMd "[x]" : Space : is + toMd (Str "❏" : Space : is) = rawMd "[ ]" : Space : is + toMd (Str "✓" : Space : is) = rawMd "[x]" : Space : is toMd is = is rawMd = RawInline (Format "markdown") |