commit 8b0280d216ea879b75b5152a68c8ce6f2115c15b
Author: Enrico Forestieri <[email protected]>
Date:   Thu Jan 25 09:40:36 2018 +0100

    Correctly output a single char_type
    
    On platforms where char_type is typedef'd to an integral type
    rather than to wchar_t, when using the insertion operator <<
    a single char_type is output as the number corresponding to the
    code point of the character rather than as the character itself.
    In this case, one has to use put().
    
    (cherry picked from commit 144f06a00c58619557fb431877041fd9e4297a0f)
---
 src/CutAndPaste.cpp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/CutAndPaste.cpp b/src/CutAndPaste.cpp
index e7f38b3..f611d59 100644
--- a/src/CutAndPaste.cpp
+++ b/src/CutAndPaste.cpp
@@ -171,7 +171,7 @@ pasteSelectionHelper(DocIterator const & cur, ParagraphList 
const & parlist,
                                char_type const c = insertion[i].getChar(j);
                                if (!e->encodable(c)) {
                                        // do not track deletion
-                                       res << c;
+                                       res.put(c);
                                        insertion[i].eraseChar(j, false);
                                        --end;
                                        --j;

Reply via email to