On Sun, Nov 25, 2001 at 06:34:02PM +0100, Jean-Marc Lasgouttes wrote: > >>>>> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes: > > >> You know that that's my opinion, too. But it most likely won't > >> happen, because it's feature freeze. And we don't have an > >> acceptable solution, that was at least (AFAICS) the result of the > >> discussion after my last proposal (of Herbert's patch). > > Dekel> I don't recall seeing anyone objecting to that patch. So unless > Dekel> someone objects now, I will apply it. > > The objection was that this is an incomplete support for spaces (no > explicit \hspace, not all spaces are covered). I have no strng feeling > on either side myself.
I have an argument for including support for \, in 1.2.0: When reading old files, we convert text in latex font to ERT insets. We can use this code to automatically convert \, in latex mode to a \, inset.
