8 Nov
2011
8 Nov
'11
5:04 p.m.
Hans Hagen
On 7-11-2011 17:48, Marco Pessotto wrote:
Well, after some trial and errors, I think I get what is going on with the highlight. When on the generated pdf the</highlight> is at the edge of the paper, the space is eaten. Hacky workaround follows:
i rewrote some of the 'heuristics' so best test the next beta
In my testing the latest beta (2011.11.08 15:20) works well, and it fixes some other problems (random <break/>, space eaten before <highlight> which I noticed only now diff'ing the output and which my infamous hacky workaround didn't fix). Thanks a lot! Best wishes -- Marco