Re: setting of abbreviations (3.7.2.1 of User Guide)

[Dekel Tsur]

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.