1 Jun
2014
1 Jun
'14
6:10 p.m.
Damien Cassou wrote:
On Sun, Jun 1, 2014 at 11:37 AM, Ben
Coman<btc(a)openinworld.com> wrote:
Thats fine. It was not strong conviction, just a choice that needed to
be made one way or the other.
etc! This is since existing PRTextWriter throws
the annotation label away.
So on the side of:
* "include annotation label" we have PRMarkdownWriter& PRLaTeXWriter,
* "exclude annotation label" we have PRHTMLWriter& PRTextWriter.
To resolve this discrepancy, I lean towards the former
I agree that we can do better than the current situation but I
disagree with your solution. Annotated paragraphs are a way to have
different kinds of paragraphs. Printing the kind is not the right way
to do it. I like your solution of using the "class"
parameter in HTML.
The same should apply in LaTeX.
Yes. I am doing something similar. btw, is it a strong convention that
Tex commands and environments are all lowercase? That is, should I force
the annotation label in "\begin{note}" to lowercase, or should I pass
that through unchanged.
For Markdown, we should probably have the same
solution as for HTML.
I had a hunt around and it seems that Markdown doesn't support paragraph
styles. And the workaround specified here...
http://stackoverflow.com/questions/1058933/can-i-define-a-class-name-on-par…
apparently does not work on github...
https://github.com/github/markup
But Hey! Check this out...
https://github.com/github/markup/blob/master/CONTRIBUTING.md
Maybe we could add a Pillar-->HTML processor to Github?
"If your markup is in a language other than Ruby, drop a translator
script in lib/github/commands which accepts input on STDIN and returns
HTML on STDOUT..."
https://github.com/github/markup/blob/master/lib/github/markups.rb
For text, I think the annotation
should have no impact on the output (just as it is now).
What do you think?
So it seems that Text and Markdown cannot produce different formatted
paragraphs. In those two cases, I still lean towards putting the
annotation label in the output, but I'm happy enough to leave it out.
cheers -ben