diff options
author | Sergei Kozelko <KozelkoS@yandex.ru> | 2022-08-14 07:33:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-14 07:33:07 +0000 |
commit | 7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c (patch) | |
tree | ae4caf67c042fd2087277d8d663a2d60d24b7b36 /app/src/main/res/font/manrope.xml | |
parent | 633ccc7f7d72072dd83a5960d06d8dd58f9dbe00 (diff) | |
download | infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.tar infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.tar.gz infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.tar.bz2 infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.tar.lz infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.tar.xz infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.tar.zst infinity-for-reddit-7a0a40f696cd05892a42fe5eb2985ee5fdd6f09c.zip |
Heading markdown fix (#908)
* Copy heading parser and adjust it to match Reddit behavior
Unlike CommonMark, Reddit does not require space after #. This behavior is
coded in a private static function, so the only way to override it is to
copy everything and use the modified copy instead of the default parser.
* Use RedditHeadingPlugin instead of regexes
* Apply plugins to post body when writing a comment
This fixes display when writing comment to a post
that contains spoilers or headings without space
* Apply plugins to parent comment body when writing a comment
This fixes display when replying to a comment that contains strikethrough text
Diffstat (limited to 'app/src/main/res/font/manrope.xml')
0 files changed, 0 insertions, 0 deletions