http://bugzilla.lyx.org/show_bug.cgi?id=2006
A trivial and obvious fix: when fixing insettabular's dist() method a few months ago, I have accidentally also taken tabular.getAdditionalHeight() into account (the extra height when we have double rules), which has to be neglected in this calculation. OK to apply to BRANCH and HEAD? Jürgen
Index: src/insets/insettabular.C =================================================================== --- src/insets/insettabular.C (Revision 13240) +++ src/insets/insettabular.C (Arbeitskopie) @@ -1162,8 +1162,7 @@ int const ybeg = o.y_ - inset.ascent(); row_type const row = tabular.row_of_cell(cell); int const rowheight = tabular.getAscentOfRow(row) - + tabular.getDescentOfRow(row) - + tabular.getAdditionalHeight(row); + + tabular.getDescentOfRow(row); int const yend = ybeg + rowheight; if (x < xbeg)
