>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> what about short-circuiting execution of setCounter if the Martin> paragraph has no label? I.e. labeltype == LABEL_NO_LABEL. You Martin> could do that by returning from setLabel at the start for a Martin> labelless paragraph. I think it would be harmless. I believe that inthe case the label should be reset to empty. So it is not harmless if you are changing layout from Section to Standard, for example (the old label would remain). JMarc
