On Mon, Nov 26, 2001 at 02:58:03AM +0100, Lars Gullik Bj�nnes wrote:
> | 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.
>
> No. We shouldn't make the latex<->ERT any more complicated than it
> already is.
The complex code is for collecting the text for the ERT inset.
For what I proposed, I only need to change Buffer::insertErtContents:
{
if (!ert_comp.contents.empty()) {
Inset * inset = 0;
if (ert_comp.contents == '\,')
inset = new InsetSpecialChar(SMALL_SPACE);
else
inset = new InsetERT(ert_comp.contents, true);
par->insertInset(pos++, inset, font);
....
}
This is a very simple change.
Note that if we only add support for \, in 1.3.0, it would be difficult to
change the ERT inset to a specialchar inset.
