Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-09-21 | Use pretty-simple to format native output. | John MacFarlane | 1 | -1/+6 | |
Previously we used our own homespun formatting. But this produces over-long lines that aren't ideal for diffs in tests. Easier to use something off-the-shelf and standard. Closes #7580. Performance is slower by about a factor of 10, but this isn't really a problem because native isn't suitable as a serialization format. (For serialization you should use json, because the reader is so much faster than native.) | |||||
2019-11-11 | Change the implementation of `htmlSpanLikeElements` and implement `<dfn>` ↵ | Florian Beeres | 1 | -0/+20 | |
(#5882) * Add HTML Reader support for `<dfn>`, parsing this as a Span with class `dfn`. * Change `htmlSpanLikeElements` implementation to retain classes, attributes and inline content. |