On Sun, Jul 26, 2009 at 11:33:54PM +0200, Vincent van Ravesteijn wrote: > > When copying a math inset and text like the following: > $\forall$x > (the thing between $'s is a math inset) > > and pasting this into another math inset will give: > $\forallx$ > > In stead of > $\forall x$ > > The attached patch adds a space after the text that > InsetMathHull::plaintext() outputs to avoid such a contraction with text > that follows. I can't think of a situation that this space might be > disastrous. > > Ok ? > > Vincent
> Index: InsetMathHull.cpp > =================================================================== > --- InsetMathHull.cpp (revision 30795) > +++ InsetMathHull.cpp (working copy) > @@ -1679,7 +1679,7 @@ > wi << cell(0); > > docstring const str = oss.str(); > - os << str; > + os << str << " "; > return str.size(); > } > } There used to be be some function adding a 'possible' space in the WriteStream. addPendingSpace() or such. Andre'
