>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> See http://bugzilla.lyx.org/show_bug.cgi?id=2022. The problem Georg> is that the label part is not included in metrics(). A fix is Georg> attached. Questions: Georg> - What about the centering problem that Jürgen mentioned? We can live with it. Georg> - Do we want to fix this bug in 1.4.0? (IMO yes) Yes, I think so, since it is straightforward. Georg> Attached is also a patch for debugging metrics that may be Georg> useful elsewhere (e.g. it shows that tables have some Georg> additional space left and right but not on top and bottom. Is Georg> this intended?) This patch looks insteresting. I do not know how we could add it to the code. Maybe, instead of an #ifdef, you could make it conditional to Debug::INSET? JMarc
