>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Martin Vermeer wrote:
>> Basically it introduces one more position in a paragraph, after the
>> last character (i.e., pos = par.size() ) to represent the change
>> attached to the paragraph break ("carriage return", which we don't
>> really have in our model).
>>
>>
Michael> Martin, thank you very much for your work! One question:
Michael> Others have pointed out that there should be an inset for
Michael> line and paragraph breaks. This sounds like a more elegant
Michael> solution that just adding one more hidden character.
Assuming Martin's patch works, I really prefer his solution.
JMarc
