>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Hi, the END_LABEL_* handling in RowPainer::paintLast is Michael> broken. Michael> In regular text, the label boxes are not completely visible Michael> (because we shrinked the margin on screen?). Inside of Michael> insets, they don't work at all. Michael> I am wondering what the purpose of END_LABEL_* is. Do we Michael> really want to mimick the TeX output in LyX to such a degree? Michael> What is the overall benefit for the user? I suggest removing Michael> this feature completely from LyX 1.5.0. I think it is useful in particular for proof environments. What are the others? I'd rather fix it than remove it just because we are lazy. JMarc
