John MacFarlane
John MacFarlane
Well, it's hard to put three things in columns; there's not really enough room for them to display nicely.
I could try just having the rendered HTML. Or to be really fancy, show the rendered HTML but allow clicking something to show the HTML.
Only the first form works to apply formatting to an arbitrary sequence of inline elements. The second and third form operate on plain unformatted text. For other characters, think `=`,...
Maybe: - `{,small caps,}` - `{!strikeout!}` - `{;underline;}` Problem is that none of these are at all suggestive of what they mean. `!` looks like it is emphasizing the text...
> @jgm what's wrong with `{|underline|}`? Its a vertical line but at least a line! True! Maybe that's not so bad. So, maybe the best idea would be `{|underline|}` and...
Yes, that's my thinking. Semantically, "inserted" and "deleted" are different from "underline" and "strikethrough," even if that's how browsers render them typically.
This syntax is already fine; you can put a single word after `:::` and it will be interpreted as a class. https://djot.net/playground/syntax.html#div Some small modifications to djot's HTML writer would...
Also, you're right that I don't want to make djot HTML-centric.
It's worth considering, I'm not sure. What sort of thing would you like to do that you can't currently?
> compile it, and launch it This would require that we depend on the ghc library, which would change this from being a slim library to being a very fat...