On Sep 13, 2005, at 22:06, Finn Bock wrote:


Very roughly, the new ColumnNumberProperty.make() does something like this:

That should be ColumnNumberPropertyMaker in order to follow the naming of all the other custom makers.

OK, I'll keep that in mind... Shouldn't it be TableBorderPrecedenceMaker as well then?



Reply via email to