Both are bugs. Thanks for finding them. I'm currently working on
testing for them and fixing them.
On 19.10.2005 22:04:47 Simon Pepping wrote:
Jeremias,
Two questions, about SpaceResolver.resolve():
1. performSpaceResolutionRules2to3(firstPart, firstPartLengths);
Should the resolution
Thanks for your feedback, Simon. I know about the empty block problem.
I even documented it (sort of) in the commit message (block w=0 causes
a fence right now although it shouldn't.). I think it relatively easily
dealt with. The box with w=0 can easily be recognized in SpaceResolver
and handled
On Thu, Oct 13, 2005 at 08:23:50PM +0200, Jeremias Maerki wrote:
I finally uploaded my space resolution work so far. It's still not
finished. When you go through the details you always find more stuff to
look into and to fix. But most of it works now and is available for
review while I work on