Re: dash patch for stable

[Enrico Forestieri]

On Sat, Jun 03, 2017 at 01:08:07AM +0200, Enrico Forestieri wrote:

> On Fri, Jun 02, 2017 at 07:30:34PM +0000, Guenter Milde wrote:
> > 
> > Note that the "ERT patch" is only for *stable*, i.e. 2.2.x.
> > For 2.2, ERT is the only way to ensure full backwards compatibility.
> 
> A solution should have been thought and done before 2.2.0 was released.
> Now it's too late.

Anyway, the attached patch should ensure backwards compatibility
in stable without resorting to ERT.

-- 
Enrico

diff --git a/src/Text.cpp b/src/Text.cpp
index 4e593ddf23..5d00ba7117 100644
--- a/src/Text.cpp
+++ b/src/Text.cpp
@@ -520,6 +520,7 @@ void Text::readParToken(Paragraph & par, Lexer & lex,
                                par.insertChar(par.size(), 0x2013, font, 
change);
                        else
                                par.insertChar(par.size(), 0x2014, font, 
change);
+                       par.insertChar(par.size(), 0x200B, font, change);
                }
        } else if (token == "\\backslash") {
                par.appendChar('\\', font, change);