Don't omit ZERO WIDTH NON-JOINER on clipboard paste

Fixes #11790
This commit is contained in:
Juergen Spitzmueller 2020-03-22 11:07:57 +01:00
parent 3f364864d4
commit 7b3404fcab

View File

@ -895,8 +895,8 @@ void Text::insertStringAsLines(Cursor & cur, docstring const & str,
++pos;
space_inserted = true;
}
} else if (!isPrintable(ch)) {
// Ignore unprintables
} else if (!isPrintable(ch) && ch != 0x200c) {
// Ignore unprintables, except for ZWNJ (0x200c)
continue;
} else {
// just insert the character