On 26/01/2009, at 10:03 AM, Thai Son Hoang wrote:
> Ken Robinson wrote:
>>> You can enter the line breaks in comments through the Edit view of
>>> editor. How to display these line is up to the "pretty
>>> printers" (e.g.
>>> HTML or LaTeX". The HTML page already displayed line breaks. I do
>>> know about the status of the LaTeX plugin.
>> Yes sorry, I expressed myself badly.
>> I am concerned with the display of the newlines.
>> I'm not sure what you mean by the HTML page? The pretty printing
>> in Rodin does display line breaks in the formal part of a
>> construct: predicate etc, but does not display line breaks in
>> comments/documentation, and that's where I would like to see them.
>> Also in the LaTeX markup of course. Documentation is easier to
>> read if it is appropriately formatted.
> Oops, I meant the Pretty Print page (it is implemented using HTML).
Yes, I thought it might be.
> I attached the screen-shot of the tool which shows the multi-line in
> both the modelling elements and the comments.
Well now I'm more puzzled.
I do not get the behaviour that you show me.
Testing // line 1 line 2 . xxxx
How can that be?
Is it something to do with the platform? I'm using Mac OS X.
> I do not know about the LaTeX markup tool, but I believe this should
> be formatted accordingly.
Yes, the LaTeX is fine, and incidentally the LaTeX for the above is fine
>> BTW: a more general comment. What you are saying above is "this is
>> the way that Rodin is implemented and you can't have ...".
>> Doesn't this contradict the whole notion of modelling of
> It is not what I meant about the implementation. What I meant is
> that comments should be associated to some modelling elements rather
> placing them freely inside any model. And I think input from users
> about the relationships between comments and modelling elements are
> really useful.
If it worked for me as it does for you, I would be happy! :-)