On Mon, Oct 27, 2014 at 10:49 AM, Richard Heck <rgh...@lyx.org> wrote: > On 10/27/2014 08:15 AM, Jean-Marc Lasgouttes wrote: >> >> Le 27/10/2014 00:40, Richard Heck a écrit : >>> >>> This is from JMarc's recent changes. It's probably harmless. JMarc? >> >> >> Yes, these are harmless. I will fix them when I get some time. > > > I did it. Just wanted to check first.
Why is x a double? Looking at /// the x position of the row (left margin) double x; /// the right margin of the row int right_margin; it's not clear why one should be a double and the other an int. They seem symmetric to me. Scott